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)
Edition: 1 edition
Publisher: Springer
Published: October 17, 1988
Language: eng
Format: Paperback
Number of pages: 229
ISBN-13: 9783540503026
Subjects: Data Processing - General; General; Operating Systems - General; Computers / Data Processing; Computers / Programming / Systems Analysis & Design; Computers : Operating Systems - General; Medical : General; Computers - General Information
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.