Formal techniques, modelling and analysis of timed and fault-tolerant systems - joint international conferences on Formal Modelling 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 : proceedings
- Författare
- France) FORMATS 2004 (2004 : Grenoble
- (Yassine Lakhnech, Sergio Yovine (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | c2004 | Tyskland, Berlin, New York | x, 395 sidor. ill. 24 cm. | |
Springer Berlin Heidelberg, Imprint: Springer | 2004 | Tyskland, Berlin, Heidelberg | 1 online resource (X, 402 sidor.) |