Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    An environment for life-critical software development


    Contributors:
    BURTON, B. (author) / LEVESON, N.G. (author)

    Conference:

    4th Computers in Aerospace Conference ; 1983 ; Hartford , CT , U.S.A.



    Publication date :

    1983-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formal Methods for Life-Critical Software

    Butler, Ricky W. / Johnson, Sally C. | NTRS | 1993


    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993



    Software Development Standard for Mission Critical Systems

    R. J. Adams / S. Eslinger / K. L. Owens et al. | NTIS | 2014


    A software development environment utilizing PAMELA

    Flick, R. L. / Connelly, Richard W. | NTRS | 1986