Umfang:
xvi, 300 Seiten
,
Illustrationen, Diagramme
ISBN:
9783030296612
Serie:
Lecture notes in computer science 11750
Weitere Ausg.:
Erscheint auch als Online-Ausgabe ISBN 978-3-030-29662-9
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Zeitbehafteter Automat
;
Verifikation
;
Spezifikation
;
Formale Methode
;
Hybrides System
;
Zeitdiskretes System
;
Echtzeitsystem
;
Konferenzschrift