Spar
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).
- Undertittel
- 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
- Redaktør
- Joel Ouaknine, Frits W. Vaandrager
- Opplag
- 2009 ed.
- ISBN
- 9783642043673
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 7.9.2009
- Antall sider
- 291
