An environment for life-critical software development
4th Computers in Aerospace Conference ; 1983 ; Hartford , CT , U.S.A.
1983-01-01
Conference paper
Electronic Resource
English
Formal Methods for Life-Critical Software
NTRS | 1993
|Formal methods for life-critical software
AIAA | 1993
|Software Innovation in a Mission Critical Environment
NTRS | 2015
|A software development environment utilizing PAMELA
NTRS | 1986
|