Format:
X, 251 S. :
,
Ill., graph. Darst.
ISBN:
978-3-319-10511-6
Series Statement:
Lecture notes in computer science 8711
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-319-10512-3
Language:
English
Subjects:
Computer Science
Keywords:
Zeitbehafteter Automat
;
Verifikation
;
Spezifikation
;
Formale Methode
;
Hybrides System
;
Zeitdiskretes System
;
Echtzeitsystem
;
Konferenzschrift
;
Konferenzschrift