Towards Scalable Verification of Commercial Avionics Software
AIAA Infotech@Aerospace 2010
01.01.2010
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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