UNKNOWN
LiveView and P2serialcmds Co-Verification Software for NGIS and Embedded MPSoC Instrument Avionics
2020-03-07
Sonstige
Keine Angabe
Englisch
MPSoC hypervisor: The safe & secure future of avionics
IEEE | 2015
|MPSoC hypervisor: The safe & secure future of avionics
IEEE | 2015
|Towards Scalable Verification of Commercial Avionics Software
British Library Conference Proceedings | 2010
|