Formal techniques in real-time and fault-tolerant systems
Subtitle: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000
By: Mathai Joseph (ed.)
Contributors: Joseph, M
Series: Lecture notes in computer science -- 1926
Publisher: Springer
Published: 2000
Place of publication: Berlin; New York
Language: eng
Number of pages: 303
Subjects: Real-time data processing -- Congresses; Fault-tolerant computing -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index