Formal techniques in real-time and fault-tolerant systems
Subtitle: third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
By: H. Langmaack, W.-P. de Roever, J. Vytopil, eds.
Contributors: Langmaack, Hans.; Roever, W.-P. de, 1943-; Vytopil, J. 1947-; Working Group Provably Correct Systems.
Series: Lecture notes in computer science ;; 863
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 787
Subjects: Real-time data processing -- Congresses.; Fault-tolerant computing -- Congresses.
Notes: Includes bibliographical references.