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 OSMA Software Assurance Symposium


    Publication date :

    2002-09-04


    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

    Formalized electromagnetic support of systems

    Schulz, R.B. / Baker, A. | Tema Archive | 1976


    Towards Developing Formalized Assurance Cases

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