FORMATS 2004 (2004 Grenoble, France) profile picture

FORMATS 2004 (2004 Grenoble, France)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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
Formal techniques, modelling and analysis of timed and fault-tolerant systems: 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 : proceedings
FORMATS 2004 (2004 Grenoble, France) — Books & Biography | Menrva Books