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 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012.
Undertittel
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Opplag
2012 ed.
ISBN
9783642333644
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
17.8.2012
Antall sider
267