| Type |  Book |
| ชื่อเรื่อง | 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-Rudiger Olderog (eds.) |
| ผู้แต่ง | FTRTFT 2002 (7th : 2002 : Oldenburg, Germany) |
| ISBN | 3540441654 |
| พิมพลักษณ์ | Berlin : Springer, c2002 |
| รูปเล่ม | x, 453 p. : ill. ; 24 cm |
| หัวเรื่อง | Fault-tolerant computing --Congresses [] |
| | Real-time data processing --Congresses [] |