Checkout and verification of space shuttle system redundant components without disrupting systems
A study of techniques for the automated verification of redundancy
1971-05-03
Conference paper
No indication
English
Handbook: Design of automated redundancy verification
NTRS | 1971
|Verification of redundancy management design
NTRS | 1978
|