default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCommunicating Embedded Systems 2013
- Claude Jard, Olivier H. Roux:
Communicating Embedded Systems. Wiley 2013, ISBN 978-1-84821-143-8 - Didier Lime
, Olivier H. Roux, Jirí Srba:
Models for Real-Time Embedded Systems. 1-37 - Béatrice Bérard:
Timed Model-Checking. 39-66 - Franck Cassez, Nicolas Markey:
Control of Timed Systems. 67-105 - Franck Cassez, Stavros Tripakis:
Fault Diagnosis of Timed Systems. 107-138 - Susanna Donatelli, Serge Haddad:
Quantitative Verification of Markov Chains. 139-163 - Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. 165-225 - Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic:
Tools for the Analysis of Hybrid Models. 227-251
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 21:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
