Towards Scalable Verification of Commercial Avionics Software
AIAA Infotech@Aerospace 2010
2010-01-01
Conference paper
Electronic Resource
English
Towards Scalable Verification of Commercial Avionics Software
British Library Conference Proceedings | 2010
|Reference Architecture for Commercial Avionics Software
Springer Verlag | 2022
|`Avionics software - from military standards to commercial standards'
British Library Conference Proceedings | 1996
|Online Contents | 2002
Online Contents | 2009