Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Anders P. Ravn (Editor); Hans Rischel (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 1, 1998
Language: eng
Format: Paperback
Number of pages: 338
ISBN-13: 9783540650034
Subjects: Compilers & interpreters; Computer architecture & logic design; Systems analysis & design; Fault-tolerant computing; Computers - General Information; Computers; Real-time data processing; Computer Books: General; Programming Languages - General; General; Data Processing - General; Computers / Programming Languages / General; Fault-Tolerant Systems; Formal Verification; Model Checking; Systems Analysis; Temporal Logics; Programming - Systems Analysis & Design; Congresses