942 search results - page 66 / 189 » Interrupt Timed Automata |
97
Voted
PTS
2003
15 years 4 months ago
2003
113
Voted
CORR
2010
Springer
15 years 3 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.
52
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
48
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
88
Voted
FUIN
2006
15 years 3 months ago
2006
