An approach for verification of ARINC 653 time partitioning concept
2015-09-01
3642951 byte
Conference paper
Electronic Resource
English
Full virtualization based ARINC 653 partitioning
IEEE | 2011
|Auto-Coded Digital Flight Control Laws Using ARINC-653 Partitioning
British Library Conference Proceedings | 2005
|