Communicating Embedded Systems
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By John Wiley & Sons, Inc.

9781118558188, 9781848211438
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tools for Model-Checking Timed Systems

2013 ◽  
pp. 165-225 ◽  
Author(s):  
Alexandre David ◽  
Gerd Behrmann ◽  
Peter Bulychev ◽  
Joakim Byg ◽  
Thomas Chatain ◽  
...  
Keyword(s):  
Model Checking ◽  
Timed Systems

Models for Real-Time Embedded Systems

2013 ◽  
pp. 1-37
Author(s):  
Didier Lime ◽  
Olivier H. Roux ◽  
Jiří Srba
Keyword(s):  
Embedded Systems ◽  
Real Time

Control of Timed Systems

2013 ◽  
pp. 67-105
Author(s):  
Franck Cassez ◽  
Nicolas Markey
Keyword(s):  
Timed Systems

Timed Model-Checking

2013 ◽  
pp. 39-66
Author(s):  
Béatrice Bérard
Keyword(s):  
Model Checking ◽  
Timed Model Checking

scholarly journals Fault Diagnosis of Timed Systems

2013 ◽  
pp. 107-138
Author(s):  
Franck Cassez ◽  
Stavros Tripakis
Keyword(s):  
Fault Diagnosis ◽  
Timed Systems

Quantitative Verification of Markov Chains

2013 ◽  
pp. 139-163
Author(s):  
Susanna Donatelli ◽  
Serge Haddad
Keyword(s):  
Markov Chains ◽  
Quantitative Verification

Tools for the Analysis of Hybrid Models

2013 ◽  
pp. 227-251 ◽  
Author(s):  
Thao Dang ◽  
Goran Frehse ◽  
Antoine Girard ◽  
Colas Le Guernic
Keyword(s):  
Hybrid Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document