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) (Hrsg.). - 7. Workshop des ASIM-Arbeitskreises Simulation und Künstliche Intelligenz, 13.-14- April 1994, Braunschweig - Wien, 1994 - (ASIM-Mitteilungen aus den Arbeitskreisen ; 44)
1994Buchaufsatz/Kapitel in Tagungsband
Wirtschaftswissenschaften
Titel in Deutsch:
Modellgestützte Validation von Kommunikationsprotokollen durch Zustandsraumexploration
Autor*in:
Müller-Clostermann, B.UDE
LSF ID
5102
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Diefenbruch, M.;Plätke, Chr.
Sprache des Textes:
Deutsch