Formal Techniques in Real-Time and Fault Tolerant Systems
Subtitle: Proceedings of a Symposium Warwick, Uk, September 22-23, 1988 (Lecture Notes in Computer Science)
Publisher: Springer
Published: September 1988
Language: eng
Number of pages: 229
ISBN-13: 9780387503028
First sentence: To be proficient in the design and verification of high integrity computer systems needs a catholic knowledge of the disciplines outlined in this section.