Formal techniques in real-time and fault-tolerant systems
Subtitle: 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings
By: Anders P. Ravn, Hans Rischel (eds.).
Contributors: Ravn, Anders P.; Rischel, Hans.
Series: Lecture notes in computer science,; 1486
Publisher: Springer
Published: 1998
Place of publication: Berlin; New York
Language: eng
Number of pages: 338
Subjects: Real-time data processing -- Congresses; Fault-tolerant computing -- Congresses
Notes: Includes bibliographical references and index.
"Fifth in a line of international schools and symposia"--Pref.