Spar
Formal Techniques in Real-Time and Fault-Tolerant Systems
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.
- Undertittel
- 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
- Redaktør
- Anders P. Ravn, Hans Rischel
- Opplag
- 1998 ed.
- ISBN
- 9783540650034
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 2.9.1998
- Antall sider
- 347
