Format:
1 Online-Ressource (xvi, 301 Seiten)
,
Illustrationen, Diagramme
ISBN:
9783030296629
Series Statement:
Lecture notes in computer science 11750
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-29661-2
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-030-29663-6
Language:
English
Subjects:
Computer Science
Keywords:
Zeitbehafteter Automat
;
Verifikation
;
Spezifikation
;
Formale Methode
;
Hybrides System
;
Zeitdiskretes System
;
Echtzeitsystem
;
Konferenzschrift
DOI:
10.1007/978-3-030-29662-9
URL:
Volltext
(URL des Erstveröffentlichers)