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


    Erscheinungsdatum :

    04.09.2002


    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

    Formalized electromagnetic support of systems

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


    Towards Developing Formalized Assurance Cases

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