Scheduling analysis based on model checking for multiprocessor real-time systems
2014 ◽
Vol 68
(3)
◽
pp. 1604-1629
◽
1994 ◽
Vol 111
(2)
◽
pp. 193-244
◽
Keyword(s):
Keyword(s):
1997 ◽
Vol 19
(2)
◽
pp. 386-412
◽
Keyword(s):