Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formalized pilot study of safety-critical software anomalie


    Contributors:
    Lutz, R. (author) / Mikulski, C. (author)

    Conference:

    NASA Office of Safety and Mission Assurance First Annual Software Assurance Symposium ; 2001 ; Morgantown, WV, United States


    Publication date :

    2001-09-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English






    Anomalie-Erfassungseinrichtung und Anomalie-Erfassungsverfahren

    TAGUCHI SHINYA | European Patent Office | 2021

    Free access

    ANOMALIE-ERKENNUNGSEINRICHTUNG UND ELEKTRONISCHER SCHLÜSSEL

    ISHIGAKI TOMOHIKO / KOJIMA HIROAKI / KAWAMURA MASAYUKI et al. | European Patent Office | 2022

    Free access

    Towards Developing Formalized Assurance Cases

    Meng, Baoluo / Moitra, Abha / Crapo, Andrew W. et al. | IEEE | 2020