Formal Techniques in Real-Time and Fault-Tolerant Systems

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.