Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / [electronic resource] :
edited by Franck Cassez, Claude Jard.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 5215 0302-9743 ; .
9783540857785
Método formal (Informática)--Congresos Simulación por computadora --Congresos Autómata temporal--Congresos