Formal modeling and analysis of timed systems
Subtitle: 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 ; proceedings
By: Jean-Francois Raskin, P.S. Thiagarajan (eds.).
Series: Lecture notes in computer science -- 4763.
Publisher: Springer
Published: 2007
Place of publication: Berlin
Language: eng
Number of pages: 368
ISBN-13: 9783540754534
Subjects: Computer simulation -- Congresses; Temporal automata -- Congresses; Formal methods (Computer science) -- Congresses; Automata -- Congresses
Genres: Congresses.
Notes: International conference proceedings.

Includes bibliographical references.