Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal computer verification in the State Delta Verification System (SDVS)


    Beteiligte:
    COOK, JEFFREY (Autor:in) / FILIPPENKO, IVAN (Autor:in) / LEVY, BETH (Autor:in) / MARCUS, LEO (Autor:in) / MENAS, TELIS (Autor:in)

    Kongress:

    8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.



    Erscheinungsdatum :

    01.01.1991



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Formal Verification of a Fault-Tolerant Computer

    Brock, N. / Jackson, D. M. / IEEE et al. | British Library Conference Proceedings | 1992


    Formal verification of a fault tolerant computer

    Brock, N.A. / Jackson, D.M. | IEEE | 1992


    Formal Verification at System Level

    Mazzini, S. / Puri, S. / Mari, F. et al. | British Library Conference Proceedings | 2009



    Formal verification and legacy redesign

    Young, F.C.D. / Houston, J.A. | Tema Archiv | 1998