Handbook Design of Automated Redundancy Verification
1971
209 pages
Report
No indication
English
Verification of redundancy management design
NTRS | 1978
|Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|