Executable assertions and flight software
Digital Avionics Systems Conference ; 1984 ; Baltimore , MD , U.S.A.
01.01.1984
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Executable assertions and flight software
NTRS | 1984
|Executable assertions and flight software
NTRS | 1984
|Writing executable assertions to test flight software
NTRS | 1984
|Testing flight systems with machine executable scripts
IEEE | 2009
|Testing Flight Systems with Machine Executable Scripts
NTRS | 2009
|