Formal Techniques in Real-time and Fault-tolerant Systems - Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - Procos, Lubeck, Germany, September 19 - 23, 1994, Proceedings - Paperback - 1994

This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.
Year of publication: 1994
Pagination: 787 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Hans Langmaack, Willem-Paul de Roever, Jan Vytopil