Sökt på: nasa
totalt 17 730 träffar
Assessment of the NASA Applied Sciences Program
Remote sensing data and models from the National Aeronautics and Space Administration (NASA) are the basis for a wide spectrum of scientific research endeavors and are key inputs …
NASA and the Shuttle Shuffle: The Disposition Process of the NASA Orbiters and How It All Went Wrong.
Space Shuttle Missions Summary (NASA/TM-2011-216142)
Autonomy Requirements Engineering for Space Missions
Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs.Elicitation and expression of autonomy …
Lunar Science Workshop: NASA Advisory Council Workshop on Science Associated with the Lunar Exploration Architecture
NasA l Cocuk Yetistirilmez
NASA Formal Methods
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short …
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomous and autonomic ground and spacecraft control systems for future NASA missions. …
NASA Formal Methods
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.The 24 revised regular …
Assessing NASA Science Activation 2.0
Since its inception, NASA's Science Activation program has demonstrated considerable success in leveraging the agency's strong public reputation and resources to engage a diversity …
NASA Formal Methods
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers …