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.identifier.isbn	978-3-88579-206-1
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/22492
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.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
dc.pubPlace	Bonn
mci.reference.pages	268-274
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Bremen
mci.conference.date	24.-27. September 2007