Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ... (Lecture Notes in Computer Science)
Contributors: Werner Damm (Editor); Ernst-Rüdiger Olderog (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 3, 2002
Language: eng
Format: Paperback
Number of pages: 455
ISBN-13: 9783540441656
Subjects: Computer Programming; Computer architecture & logic design; Electronics engineering; Software Quality Control; Fault-tolerant computing; Computers; Computers - General Information; Real-Time Data Processing; Computer Books: Languages; Programming - Systems Analysis & Design; General; Data Processing - General; Computers / Programming Languages / General; Programming - Software Development; Congresses