No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software Management and Verification


    Contributors:
    Gruca, Dena (author)

    Conference:

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


    Publication date :

    2015-04-28


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Software Verification Witnesses 2.0

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

    Free access

    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


    LADEE Flight Software: Verification Techniques

    Gundy-Burlet, Karen | NTRS | 2014