Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification at System Level



    Conference:

    Conference, Data systems in aerospace; DASIA 2009 ; 2009 ; Istanbul, Turkey



    Publication date :

    2009-01-01


    Size :

    46 pages


    Remarks:

    Held in e-store (RMS); Held on CD-ROM




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    A two-level formal verification methodology using HOL and COSMOS

    Seger, Carl-Johan / Joyce, Jeffrey J. | TIBKAT | 1991


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

    COOK, JEFFREY / FILIPPENKO, IVAN / LEVY, BETH et al. | AIAA | 1991



    Formal verification and legacy redesign

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


    Formal Verification and Legacy Redesign

    Young, F. / Houston, J. / IEEE | British Library Conference Proceedings | 1998