Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods for life-critical software


    Contributors:

    Conference:

    9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.



    Publication date :

    1993-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Formal Methods for Life-Critical Software

    Butler, R. / Johnson, S. / AIAA | British Library Conference Proceedings | 1993


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005


    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990