Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Fault-tolerant computing : a preamble for assuring viability of large computer systems


    Contributors:

    Published in:

    Publication date :

    1977


    Size :

    23 S.


    Remarks:

    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English



    Verifiable Computing in Avionics for Assuring Computer-Integrity without Replication

    Reinhart, Johannes / Luettig, Bastian / Huber, Nicolas et al. | IEEE | 2023




    Assuring Correctness, Completeness, and Performance for Model-Based Fault Diagnosis Systems

    Nikora, Allen / Srivastava, Priyanka / Fesq, Lorraine et al. | IEEE | 2019


    Assuring Correctness, Completeness, and Performance for Model-Based Fault Diagnosis Systems

    Nikora, Allen / Chung, Seung / Fesq, Lorraine et al. | NTRS | 2019