The analytic verification of flight software: a cast study
Harnessing exhaust gas analysis test systems
Fault tolerant computer system for the A129 helicopter
Reliability and safety analysis of a fault-tolerant controller
Capturing expertise: some approaches to modeling command decisionmaking in combat analysis
Tools for C2 software reliability analysis
The global automobile-compressing the design cycle
Artificial intelligence and C3I analysis and reporting
Computer based terrain analysis for operational planning
Artificial intelligence and Air Force C3I systems
Evaluating proposed architectures for the FAA's Advanced Automation System
CLASS B DATA COMMUNICATION NETWORK INTERFACE
Multilevel analysis of complex embedded computer systems
PAM-CRASH on the IBM 3090/VF: an integrated environment of crash analysis
A knowledge-based system for recognizing man-made objects in aerial images
Review of EMC practice for launch vehicle systems
A methodology for analyzing avionics software safety
A user-assisted generic systems analyst workstation (GENSAW)