60 search results - page 2 / 12 » Diagnostic Model-Checking for Real-Time Systems |
60
Voted
FDL
2003
IEEE
15 years 2 months ago
2003
IEEE
93
Voted
FTRTFT
1998
Springer
15 years 1 months ago
1998
Springer
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
CONCUR
1995
Springer
15 years 1 months ago
1995
Springer
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...