Developing techniques for verifying operational integrity of redundant equipment without disrupting systems


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Study of techniques for redundancy verification without disrupting systems


    Publication date :

    1970-09-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English


    Keywords :



    Verification of redundancy management design

    Gelderloos, H. C. / Wilson, D. V. | NTRS | 1978


    Handbook: Design of automated redundancy verification

    Ford, F. A. / Hasslinger, T. W. / Moreno, F. J. | NTRS | 1971


    Formal Verification of a Redundancy Management Algorithm

    Draper, J. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991