Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Proof Strategies for Hardware Verification



    Kongress:

    National aerospace and electronics conference ; 1996 ; Dayton; OH



    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    8 pages


    Anmerkungen:

    Also known as NAECON 1996. IEEE Cat nos 96CH35934 and 96CB35934




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Writing PVS Proof Strategies

    Owre, S. / Shankar, N. / NASA | British Library Conference Proceedings | 2003



    Environmental verification standards for space hardware

    Hoffman, A. R. / Evans, K. E. | NTRS | 2003


    Environmental verification standards for space hardware

    Hoffman, Alan R. / Evans, Kristan E. | NTRS | 2003