Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Fault-tolerant software - Experiment with the sift operating system


    Contributors:

    Conference:

    5th Computers in Aerospace Conference ; 1985 ; Long Beach , CA , U.S.A.



    Publication date :

    1985-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Hierarchical specification of the SIFT fault tolerant flight control system

    Melliar-Smith, P.M. / Schwartz, R.L. | Tema Archive | 1981





    SIFT: Design and analysis of a fault-tolerant computer for aircraft control

    Wensley, J.H. / Lamport, L. / Goldberg, J. | Tema Archive | 1978