Formal techniques in real-time and fault-tolerant systems
Subtitle: proceedings of a symposium, Warwick, UK, September 22-23, 1988
By: M. Joseph, ed.
Contributors: Joseph, M.; Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)
Series: Lecture notes in computer science ;; 331
Publisher: Springer-Verlag
Published: 1988
Place of publication: Berlin; New York
Language: eng
Number of pages: 229
Subjects: Real-time data processing -- Congresses.; Fault-tolerant computing -- Congresses.
Notes: Includes bibliographies.
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick.