942 search results - page 66 / 189 » Interrupt Timed Automata |
PTS
2003
15 years 3 months ago
2003
CORR
2010
Springer
15 years 2 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
CORR
2010
Springer
15 years 2 months ago
2010
Springer
CORR
2010
Springer
15 years 2 months ago
2010
Springer
FUIN
2006
15 years 1 months ago
2006
