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


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Study of techniques for redundancy verification without disrupting systems


    Erscheinungsdatum :

    01.09.1970


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch


    Schlagwörter :



    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