Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium

This book presents latest research results on problems and solutions in safety-critical system design. Logic, process algebra, and action/event models are applied to specification, modeling, analysis and verification of real-time and fault-tolerant systems.