1–2 von 2 Ergebnissen
|

    Trustworthy Autonomy for Gateway Vehicle System Manager

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2023
    Verlag: National Aeronautics and Space Administration, Washington, DC.

    Formal Verification Toolkit for Requirements and Early Design Stages

    J. M. Badger / S. J. Miller | NTIS | 2011
    Verlag: National Aeronautics and Space Administration, Houston, TX. Lyndon B. Johnson Space Center