3169 search results - page 24 / 634 » Robust Timed Automata |
106
Voted
CORR
2010
Springer
15 years 1 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...
132
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
116
Voted
QEST
2008
IEEE
15 years 9 months ago
2008
IEEE
