Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Methods for Life-Critical Software


    Contributors:

    Conference:

    9th Conference, Computing in aerospace 9 ; 1993 ; San Diego; CA


    Publication date :

    1993-01-01


    Size :

    11 pages


    Remarks:

    In 2 vols


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 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


    Formal Specification of Software Critical Systems with Agents

    Coriat, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1995