Müller-Clostermann, B.; Diefenbruch, M.; Plätke, Chr.:
Modellgestützte Validation von Kommunikationsprotokollen durch Zustandsraumexploration
In: 7. Workshop des ASIM-Arbeitskreises Simulation und Künstliche Intelligenz : 13. und 14. April 1994 bei der DLR in Braunschweig ; Zusammenfassung der Vorträge / Gesellschaft für Informatik (GI) (Eds.). - 7. Workshop des ASIM-Arbeitskreises Simulation und Künstliche Intelligenz, 13.-14- April 1994, Braunschweig - Wien, 1994 - (ASIM-Mitteilungen aus den Arbeitskreisen ; 44)
1994book article/chapter in Proceedings
Economics
Title in German:
Modellgestützte Validation von Kommunikationsprotokollen durch Zustandsraumexploration
Author:
Müller-Clostermann, B.UDE
LSF ID
5102
Other
connected with university
;Diefenbruch, M.;Plätke, Chr.
Language of text:
German
Appears in
7. Workshop des ASIM-Arbeitskreises Simulation und Künstliche Intelligenz : 13. und 14. April 1994 bei der DLR in Braunschweig ; Zusammenfassung der Vorträge
Conference
7. Workshop des ASIM-Arbeitskreises Simulation und Künstliche Intelligenz, 13.-14- April 1994, Braunschweig
Editor:
Gesellschaft für Informatik (GI)
Place of publication:
Wien
Year of publication:
1994
In Series
ASIM-Mitteilungen aus den Arbeitskreisen
in:
Vol. 44