This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Te

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and so

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-toleran