Formal Modeling and Analysis of Timed Systems
Cassez, Franck.
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
QA76.9.C65 / C37 2008
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
QA76.9.C65 / C37 2008