3750 search results - page 28 / 750 » Timed Automata Patterns |
134
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
127
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
109
Voted
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
107
Voted
FORMATS
2005
Springer
15 years 8 months ago
2005
Springer