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
01.01.2000
16 pages
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Kraftfahrwesen | 2000
|Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|Modellierung der Forms-Fallstudien mit Statemate
Tema Archiv | 2000
|Analytische Modellierung des Zeitverhaltens von verteilten industriellen Steuerungssystemen
BASE | 2016
|