Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Proof Strategies for Hardware Verification



    Conference:

    National aerospace and electronics conference ; 1996 ; Dayton; OH



    Publication date :

    1996-01-01


    Size :

    8 pages


    Remarks:

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




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Environmental verification standards for space hardware

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


    Environmental verification standards for space hardware

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



    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archive | 2008


    Micro-vibration Verification of GOCE Thermal Hardware

    Cataloglu, A. / Pieper, B. / Battaglia, D. et al. | SAE Technical Papers | 2004