Formal Techniques in Real-Time and Fault-Tolerant Systems
Subtitle: 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540457398