Treffer: Formal techniques in real-time and fault-tolerant systems
Titel:
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
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2002
Umfang:
X, 453 Seiten : Diagramme ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2469
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540441654 ; 9783540441656