1–2 von 2 Ergebnissen
|

    LADEE Flight Software: Verification Techniques

    Gundy-Burlet, Karen | NTRS | 2014
    Schlagwörter: Spacecraft Flight Software , Lunar And Planetary Science And Exploration , Computer Programming And Software , Verification and Validation , Model based development

    MBSE Validation and Verification

    Case Study for LADEE
    Gundy-Burlet, Karen | Springer Verlag | 2023
    Schlagwörter: Model-based systems engineering , Validation and verification , Software engineering , Engineering , Control and Systems Theory , Simulation and Modeling , Models and Principles , Quality Control, Reliability, Safety and Risk