Tallenna
The Theory of Timed I/O Automata, Second Edition
Kirjailija:
nidottu, 2010
englanti
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
- Kirjailija
- Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
- ISBN
- 9783031008757
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.11.2010
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 123
