Müller-Clostermann, B.; Diefenbruch, M.; Plätke, Chr.:
Modellgestützte Validation von Kommunikationsprotokollen durch Zustandsraumexploration : 7. Workshop des ASIM Arbeitskreises "Simulation und Künstliche Intelligenz", DLR Braunschweig
1994
In: ASIM-Mitteilungen, Heft 44
Artikel/Aufsatz in Zeitschrift / Fach: Wirtschaftswissenschaften
Titel:
Modellgestützte Validation von Kommunikationsprotokollen durch Zustandsraumexploration : 7. Workshop des ASIM Arbeitskreises "Simulation und Künstliche Intelligenz", DLR Braunschweig
Autor(in):
Müller-Clostermann, B. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Diefenbruch, M.; Plätke, Chr.
Erscheinungsjahr
1994
Erschienen in:
ASIM-Mitteilungen, Heft 44