Formal Modeling and Analysis of Timed Systems
Pettersson, Paul.
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / [electronic resource] : edited by Paul Pettersson, Wang Yi. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3829 0302-9743 ; .
9783540316169
Simulación por computador--Congresos
Autómata temporal --Congresos
Método formal (Informática)--Congresos
QA76.9.C65
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / [electronic resource] : edited by Paul Pettersson, Wang Yi. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3829 0302-9743 ; .
9783540316169
Simulación por computador--Congresos
Autómata temporal --Congresos
Método formal (Informática)--Congresos
QA76.9.C65