Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Handbook Design of Automated Redundancy Verification


    Contributors:

    Publication date :

    1971


    Size :

    209 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Verification of redundancy management design

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



    Redundancy for automated vehicle operations

    RAJIT JOHRI / SCOTT J LAUFFER / SARRA AWAD YAKO et al. | European Patent Office | 2016

    Free access

    Redundancy for automated vehicle operations

    JOHRI RAJIT / BROWN ANDREW / LAUFFER SCOTT J et al. | European Patent Office | 2015

    Free access

    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