Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Statemate-based controller modeling and verification: concepts and applications.
2000
16 pages
1.Braunschweiger Symposium Automatisierungs- und Assistenzsysteme f.Transportmittel; 2000
Sonstige
Deutsch
Statemate basierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
British Library Conference Proceedings | 2000
|Analytische Modellierung des Zeitverhaltens von verteilten industriellen Steuerungssystemen
BASE | 2016
|