Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    1977


    Format / Umfang :

    23 S.


    Anmerkungen:

    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch



    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