No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    LADEE Flight Software: Verification Techniques


    Beteiligte:

    Kongress:

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


    Erscheinungsdatum :

    21.07.2014


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch





    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