Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formalized pilot study of safety-critical software anomalie


    Beteiligte:
    Lutz, R. (Autor:in) / Mikulski, C. (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    2001-09-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch






    Anomalie-Erfassungseinrichtung und Anomalie-Erfassungsverfahren

    TAGUCHI SHINYA | Europäisches Patentamt | 2021

    Freier Zugriff

    ANOMALIE-ERKENNUNGSEINRICHTUNG UND ELEKTRONISCHER SCHLÜSSEL

    ISHIGAKI TOMOHIKO / KOJIMA HIROAKI / KAWAMURA MASAYUKI et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Towards Developing Formalized Assurance Cases

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