KIT | KIT-Bibliothek | Impressum | Datenschutz

Erweiterte Verwendung und Validierung von Statemate Modellen durch Konvertierung zu SDL

Stingl, Thomas; Huber, M.; Tanurhan, Yankin



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Buchaufsatz
Publikationsjahr 1997
Sprache Deutsch
Identifikator KITopen-ID: 190597
Erscheinungsvermerk In: Statemate Anwendertreffen, München 1997.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page