384 search results - page 11 / 77 » On the Semantics of Markov Automata |
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
85
Voted
RTAS
2006
IEEE
15 years 7 months ago
2006
IEEE
101
Voted
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
CORR
2010
Springer
15 years 1 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.
ENTCS
2007
15 years 1 months ago
2007
