Theory of timed i/o automata, second edition, the
Auteur :
Kaynar, Dilsun / Lynch, Nancy / Segala, Roberto / Vaandrager, Frits
Éditeur :
Springer International Publishing AG
ISBN :
9783031008757
Date de publication :
29 nov. 2010
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
Table of Contents: Introduction / Mathematical Preliminaries / Describing Timed System Behavior / Timed Automata / Operations on Timed Automata / Properties for Timed Automata / Timed I/O Automata / Operations on Timed I/O Automata / Conclusions and Future Work