• Formal techniques in real-time...

*Result*: Formal techniques in real-time and fault-tolerant systems

*Title*:
Formal techniques in real-time and fault-tolerant systems : 7th international symposium ; proceedings / FTRTFT 2002, Oldenburg, Germany, September 9 - 12, 2002. Werner Damm ; Ernst-Rüdiger Olderog (ed.). Co-sponsored by IFIP WG 2.2
*Author/editor-in-chief*:
Damm, Werner (Herausgeber) 
*Corporate*:
FTRTFT (7 : 2002 : Oldenburg (Oldenburg))
*Publication*:
Berlin : Springer, 2002
*Physical description scale*:
X, 453 Seiten : Diagramme ; 24 cm
*Format*:
*book*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 2469
*show_all_volumes*
*Notes*:
Literaturangaben
*RVK-Notation*:
*SS 1800* *SS 4000*
*Subject Added Keywords*:
*ISBN*:
3540441654 ; 9783540441656

*Additional information*

*Additional functions*