777 search results - page 11 / 156 » Model Checking with Formula-Dependent Abstract Models |
DATE
2000
IEEE
13 years 11 months ago
2000
IEEE
FSTTCS
1999
Springer
13 years 11 months ago
1999
Springer
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
ICST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...