3387 search results - page 2 / 678 » Model-Checking for Real-Time Systems |
FDL
2003
IEEE
13 years 10 months ago
2003
IEEE
FTRTFT
1998
Springer
13 years 9 months ago
1998
Springer
FMCAD
2006
Springer
13 years 8 months ago
2006
Springer
CONCUR
1995
Springer
13 years 8 months ago
1995
Springer
RTSS
2005
IEEE
13 years 10 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...