Formal Modeling and Analysis of Timed Systems (vol. # 4202) 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings - FORMATS 2006 (2006 : Paris, France); Asarin, Eugene; Bouyer, Patricia; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Computer simulation -- Congresses; Temporal automata -- Congresses; Formal methods (Computer science) -- Congresses; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Special Purpose and Application-Based Systems