Some challenging control problems in ballistic missile defense
Progress in knowledge-based flight monitoring
Microprocessor controlled and managed fly-by-wire hydraulic actuator
Establishing realistic requirements for reliability, maintainability, and built-in-test
Fail-safe-Systeme mit redundanten Rechnern
ITAD - a CAD system for environmental reliability design
A software evaluation: results and recommendations
Full cycle corrective action (FCCA) for improved warranty service
Architecture optimization of aerospace computing systems
Software validation for a railway signalling system
Reliability and flexibility of the IRAS on-board software
A highly available microprocessor-based plant controller
Fault-tolerant computer system design using GRAMP
System hardware and software reliability analysis
A fault-tolerant system architecture for navy applications
Weapons systems analysis, part 3: Warfare gaming, tactics and techniques
Weapons systems analysis, part 2: Simulation techniques and models