Gå direkt till innehållet
Formal Modeling and Analysis of Timed Systems
Spara

Formal Modeling and Analysis of Timed Systems

Lägsta pris på PriceRunner
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;
Undertitel
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Upplaga
2008 ed.
ISBN
9783540857778
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2008-09-05
Sidor
295