Skip to main content alibris logo

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

by ,

Write The First Customer Review
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings - Damm, Werner (Editor), and Olderog, Ernst-Rüdiger (Editor)
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ] eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, ...

loading
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings 2002, Springer, Berlin, Heidelberg

ISBN-13: 9783540441656

2002 edition

Trade paperback