On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components
Keyword(s):
Keyword(s):
2014 ◽
Vol 602-605
◽
pp. 571-574
Keyword(s):
2006 ◽
Vol 34
(7-8)
◽
pp. 748-761
◽
Keyword(s):
2014 ◽
Vol 889-890
◽
pp. 1207-1212