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
Werner Damm, Ernst-Rüdiger Olderog (eds.)
Bok Engelsk 2002 FTRTFT 2002
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | X, 453 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540441654
|
