Formal Modeling and Analysis of Timed Systems
Raskin, Jean-François.
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / [electronic resource] : edited by Jean-François Raskin, P. S. Thiagarajan. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4763 0302-9743 ; .
9783540754541
Método formal (Informática)--Congresos
Simulación por computadora--Congresos
Automata temporal--Congresos
QA76.9.C65 / R37 2007
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings / [electronic resource] : edited by Jean-François Raskin, P. S. Thiagarajan. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4763 0302-9743 ; .
9783540754541
Método formal (Informática)--Congresos
Simulación por computadora--Congresos
Automata temporal--Congresos
QA76.9.C65 / R37 2007