Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
Formal modeling and analysis of timed systems 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / [electronic resource] :
edited by Joel Ouaknine, Frits W. Vaandrager.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- x, 290 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5813 0302-9743 ; .
9783642043680 (electronic bk.) 9783642043673 (paper)
Computer simulation--Congresses.
Temporal automata--Congresses.
Formal methods (Computer science)--Congresses.
Robots--Congresses.
Models and Principles.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
QA76.9.C65 / F676 2009
003.3
9783642043680 (electronic bk.) 9783642043673 (paper)
Computer simulation--Congresses.
Temporal automata--Congresses.
Formal methods (Computer science)--Congresses.
Robots--Congresses.
Models and Principles.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
QA76.9.C65 / F676 2009
003.3