No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Software Management and Verification


    Beteiligte:
    Gruca, Dena (Autor:in)

    Kongress:

    Medtronics Briefing ; 2015 ; Edwards AFB, CA, United States


    Erscheinungsdatum :

    28.04.2015


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Software Verification Witnesses 2.0

    Ayaziová, Paulína / Beyer, Dirk / Lingsch-Rosenfeld, Marian et al. | Springer Verlag | 2024

    Freier Zugriff

    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | British Library Conference Proceedings | 2022


    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | Springer Verlag | 2021


    Verification Matrix Applied During Verification Process of Airborne Software

    Liu, Yuan / Guo, Qing / Liu, Wen et al. | TIBKAT | 2022