Siirry suoraan sisältöön
Formal Modeling and Analysis of Timed Systems
Tallenna

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.
Alaotsikko
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Painos
2012 ed.
ISBN
9783642333644
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
17.8.2012
Sivumäärä
267