Gå direkte til innholdet
Formal Modeling and Analysis of Timed Systems
Spar

Formal Modeling and Analysis of Timed Systems

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The papers are organized in topical sections on extensions of timed automata and semantics;
Undertittel
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Opplag
2008 ed.
ISBN
9783540857778
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
5.9.2008
Antall sider
295