Spar
The Theory of Timed I/O Automata, Second Edition
Forfatter:
heftet, 2010
Engelsk
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
- Forfatter
- Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager
- ISBN
- 9783031008757
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 29.11.2010
- Antall sider
- 123
