921 search results - page 29 / 185 » On Interleaving in Timed Automata |
133
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
102
click to vote
ATVA
2008
Springer
15 years 1 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 10 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...
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
ICTAC
2009
Springer
15 years 6 months ago
2009
Springer
