Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
2010 ◽
Vol 14
(3)
◽
pp. 193-227
◽
Keyword(s):
1999 ◽
Vol 32
(1)
◽
pp. 209-214
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 23
(04)
◽
pp. 831-851
◽
Keyword(s):
2012 ◽
Vol 15
(3)
◽
pp. 211-228
◽
2013 ◽
Vol 4
(2)
◽
pp. 62-83
◽
Keyword(s):
Keyword(s):