Formal techniques in real-time and fault-tolerant systems
Subtitle: 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
By: Bengt Jonsson, Joachim Parrow, eds.
Contributors: Jonsson, Bengt, 1957-; Parrow, Joachim, 1956-
Series: Lecture notes in computer science,; 1135
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 478
Subjects: Real-time data processing -- Congresses; Fault-tolerant computing -- Congresses
Notes: Includes bibliographical references and index.