Formal techniques, modelling and analysis of timed and fault-tolerant systems
Subtitle: joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
By: Yassine Lakhnech, Sergio Yovine (eds.).
Contributors: Lakhnech, Y.; Yovine, Sergio.; FTRTFT 2004 (2004 : Grenoble, France)
Series: Lecture notes in computer science,; 3253
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 395
Subjects: Computer simulation -- Congresses; Temporal automata -- Congresses; Formal methods (Computer science) -- Congresses; Machine theory -- Congresses; Robots -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
Internat. conference proceedings.