Formal Safety Certification of Auto-Generated Aerospace Software [invited]
Infotech@Aerospace
01.01.2005
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|