Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: December 23, 1991
Language: eng
Format: Paperback
Number of pages: 620
ISBN-13: 9783540550921
Subjects: Applied mathematics; Mathematical logic; Systems analysis & design; Computer Architecture - General; Data Processing - General; Programming - Systems Analysis & Design; Computers / Logic Design; Echt-Zeit-Systeme; Faukt Tolerant; Fehler-Tolerante; Formal Techniques; Formale Techniken; Real-Time Systems; Computers - General Information
First sentence: Real-time systems are reactive systems [HP85, Pnu86] which must satisfy timing properties.