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