Treffer: Formal techniques, modelling and analysis of timed and fault tolerant systems

Titel:
Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings / Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22 - 24, 2004. Yassine Lakhnech ... (eds.)
Beteiligt:
Lakhnech, Yassine (Herausgeber)
Körper­schaft:
FORMATS (2 : 2004 : Grenoble)
FTRTFT (8 : 2004 : Grenoble)
Veröffent­licht:
Berlin : Springer, 2004
Umfang:
X, 395 Seiten : Diagramme ; 24 cm
Format:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 3253
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
SS 4000
Schlagworte:
ISBN:
3540231676

Zusatz-Informationen

Zusatz-Funktionen