3229 search results - page 76 / 646 » The Theory of Timed Automata |
DAGSTUHL
2004
15 years 6 months ago
2004
135
Voted
CORR
2010
Springer
15 years 5 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 5 months ago
2010
Springer
CORR
2010
Springer
15 years 5 months ago
2010
Springer