Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Defining Software Requirements for Safety Critical Functions


    Contributors:
    Mattern, S. (author)

    Conference:

    12th International conference, System safety ; 1994 ; New Orleans; LA



    Publication date :

    1994-01-01


    Size :

    II-168-II-175


    Remarks:

    3; vols


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English


    Keywords :


    Requirements-based Automated Test Generation for Safety Critical Software

    Li, Meng / Meng, Baoluo / Yu, Han et al. | IEEE | 2019


    DEVELOPING SAFETY-CRITICAL SOFTWARE REQUIREMENTS FOR COMMERCIAL REUSABLE LAUNCH VEHICLES

    Murray, D. P. / Hardy, T. L. / European Space Agency | British Library Conference Proceedings | 2007



    Defining safety requirements for hybrid electric vehicles using system simulation

    Gollub, D. / Kretschmer, M. / Heyl, A. | Tema Archive | 2008


    Definition and Verification of Critical Safety Functions in Software

    Kuettner, H.D. / Owen, P.R. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006