Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /

57

Bibliographic Details
Main Authors: FORMATS 2007 (2007 : Salzburg, Austria), Raskin, Jean-Francois, Thiagarajan, P. S., SpringerLink (Online service)
Format:
Language:eng
Published: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:
Computer simulation
Temporal automata
Formal methods (Computer science)
Online Access:http://dx.doi.org/10.1007/978-3-540-75454-1

Internet

http://dx.doi.org/10.1007/978-3-540-75454-1

Similar Items