1246 search results - page 28 / 250 » Recursive Timed Automata |
111
Voted
ATVA
2008
Springer
15 years 2 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...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
76
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
90
Voted
QEST
2008
IEEE
15 years 7 months ago
2008
IEEE
