Executable assertions and flight software
Digital Avionics Systems Conference ; 1984 ; Baltimore , MD , U.S.A.
1984-01-01
Conference paper
Electronic Resource
English
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
|