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
Yassine Lakhnech, Serio Yovine (eds.)
Bok Engelsk 2004 FORMATS 2004
Utgitt | Berlin : Springer , c2004
|
---|---|
Omfang | X, 395 s. : ill.
|
Emner | Formelle metoder
Formelle modeller Sanntidssystemer Systemanalyse (Databehandling) Vis mer... Formelle metoder((NO-TrBIB)REAL002404)
Formelle modeller((NO-TrBIB)REAL002432) Sanntidssystemer((NO-TrBIB)REAL000884) tidssystemer feiltoleranse formelle metoder |
ISBN | 3540231676
|