Statemate basierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Braunschweiger Symposium, Automatisierungs- und Assistenzsysteme fur Transportmittel; moglichkeiten, grenzen, risiken ; 2000
Automatisierungs- und Assistenzsysteme fur Transportmittel; moglichkeiten, grenzen, risiken ; 180-195
2000-01-01
16 pages
Conference paper
German
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Automotive engineering | 2000
|Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|Modellierung der Forms-Fallstudien mit Statemate
Tema Archive | 2000
|Analytische Modellierung des Zeitverhaltens von verteilten industriellen Steuerungssystemen
BASE | 2016
|