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