This article consists of a collection of slides from the author's conference presentation.
An approach for verification of ARINC 653 time partitioning concept
01.09.2015
3641354 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Full virtualization based ARINC 653 partitioning
IEEE | 2011
|BIT TRANSMISSION VERIFICATION IN AN ARINC-BASED SYSTEM
Europäisches Patentamt | 2015
|Auto-Coded Digital Flight Control Laws Using ARINC-653 Partitioning
British Library Conference Proceedings | 2005
|