Formal approach for a verified implementation of Global EDF in Trampoline
1977 ◽
Vol 16
(03)
◽
pp. 125-130
◽
2020 ◽
pp. 115-122
2004 ◽
Vol 18
(4)
◽
pp. 463-480
◽
2020 ◽
pp. 46-54
2018 ◽
Vol 2
(1)
◽
pp. 36-39