Partition modeling and optimization of ARINC 653 operating systems in the context of IMA
Keyword(s):
2010 ◽
Vol 42
(5)
◽
pp. 72-81
Keyword(s):