Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software Management and Verification


    Contributors:
    D. Gruca (author)

    Publication date :

    2015


    Size :

    22 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Software Management and Verification

    Gruca, Dena | NTRS | 2015


    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