No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    LADEE Flight Software: Verification Techniques


    Contributors:

    Conference:

    SPIN 2014: International SPIN Symposium on Model Checking of Software ; 2014 ; San Jose, CA, United States


    Publication date :

    2014-07-21


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English





    Flight Software for the LADEE Mission

    Cannon H. N. | NTIS | 2015


    Flight Software for the LADEE Mission

    Cannon, Howard N. | NTRS | 2015



    Validation and Verification of LADEE Models and Software

    Gundy-Burlet, K. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013