Abstract is missing.
- Models for Real-Time Embedded SystemsDidier Lime, Olivier H. Roux, Jirí Srba. 1-37 [doi]
- Timed Model-CheckingBéatrice Bérard. 39-66 [doi]
- Control of Timed SystemsFranck Cassez, Nicolas Markey. 67-105 [doi]
- Fault Diagnosis of Timed SystemsFranck Cassez, Stavros Tripakis. 107-138 [doi]
- Quantitative Verification of Markov ChainsSusanna Donatelli, Serge Haddad. 139-163 [doi]
- Tools for Model-Checking Timed SystemsAlexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez. 165-225 [doi]
- Tools for the Analysis of Hybrid ModelsThao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic. 227-251 [doi]