Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen
| dc.contributor.author | Vogel, Gunther | |
| dc.contributor.editor | Herzog, Otthein | |
| dc.contributor.editor | Rödiger, Karl-Heinz | |
| dc.contributor.editor | Ronthaler, Marc | |
| dc.contributor.editor | Koschke, Rainer | |
| dc.date.accessioned | 2019-05-15T09:04:57Z | |
| dc.date.available | 2019-05-15T09:04:57Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | Der Artikel beschreibt, wie endliche Automaten für Software-Protokolle aus dem Quelltext gewonnen und durch Transformationen für die Weiterverarbeitung und den Vergleich aufbereitet werden können. Die beschriebenen Techniken werden zur Prüfung von Protokollen oder zur Herleitung von Protokollspezifikationen eingesetzt. Messergebnisse zeigen die Praktikabilität des Verfahrens. | de |
| dc.identifier.isbn | 978-3-88579-206-1 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22492 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Informatik 2007 – Informatik trifft Logistik – Band 2 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-110 | |
| dc.title | Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 274 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 268 | |
| gi.conference.date | 24.-27. September 2007 | |
| gi.conference.location | Bremen | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1