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

This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the Unive

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96

This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It c