Formal techniques in real-time and fault-tolerant systems

by FTRTFT 2002 (2002 Oldenburg, Germany)

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 University of Oldenburg, Germany, 9–12 Sep…