Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling
2017 ◽
Vol 117
◽
pp. 1-5
◽
1998 ◽
Vol 47
(6)
◽
pp. 700-713
◽
2014 ◽
Vol 6
(4)
◽
pp. 303
◽
2010 ◽
Vol 23
(14)
◽
pp. 1609-1622
◽