Executable assertions and flight software
Digital Avionics Systems Conference ; 1984 ; Baltimore , MD , U.S.A.
1984-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Testing flight systems with machine executable scripts
IEEE | 2009
|Generating Executable Flight-Plans for Unmanned Aircraft: A Formal Mission Planning Tool
British Library Conference Proceedings | 1996
|Comparative product assertions - requirements and critical review
Kraftfahrwesen | 1997
|Comparative Product Assertions - Requirements and Critical Reviews
British Library Conference Proceedings | 1997
|