FTRTFT 2002: 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

Shelfclass_id 3.A
Sortkey FTRTFT
Authors Werner Damm, Ernst-RĂ¼diger Olderog
Title FTRTFT 2002: 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
Publisher Springer-Verlag
Year cop. 2002
Languages eng
Isbn 3540441654
Series Lecture Notes in Computer Science
Volume 2469
Issn 0302-9743
Description x, 453 p. ill. 24 cm.
Record date 20070426
Location Berlin
Keywords Real-time data processing, Fault-tolerant computing
Notes Olderog, Ernst-Rudiger
Urlnote La
Urls http://proxy.lib.luth.se/login?url=http://link.springer.de/link/service/series/0558/tocs/t2469.htm