The use of the handbook is discussed and the design progress is reviewed. A description of the problem is presented, and examples are given to illustrate the necessity for redundancy verification, along with the types of situations to which it is typically applied. Reusable space vehicles, such as the space shuttle, are recognized as being significant in the development of the automated redundancy verification problem.
Handbook: Design of automated redundancy verification
01.07.1971
Report
Keine Angabe
Englisch
Verification of redundancy management design
NTRS | 1978
|Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|