Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: Third International Symposium Organized Jointly With the Working Group Provably Correct S (Lecture Notes in Computer Science)
Contributors: Hans Langmaack (Editor); Working Group Provably Correct Systems (Corporate Author); Jan Vytopil (Editor); W. P. De Roever (Editor)
Publisher: Springer
Published: September 1994
Language: eng
Number of pages: 787
ISBN-13: 9780387584683