SOLAR SYSTEM; NASA SPACE PROGRAMS; SOFTWARE ENGINEERING; AUTONOMY; NANOTECHNOLOGY; ASTEROID BELTS; GAMMA RAYS; CHEMICAL COMPOSITION; COLLISION AVOIDANCE; MORPHOLOGY; ANALOGS; INSECTS; SOFTWARE DEVELOPMENT TOOLS;
机译:用于NASA上工程数据集的任务保证系统(MAS)软件
机译:NASA JPL选择Coverity来发现Curiosity关键任务飞行软件中的缺陷
机译:下一代系统和软件架构未来NASA探索任务带来的挑战
机译:开发和实施一种程序来验证和验证NASA InSight Mission的仪器指令产品
机译:训练NASA宇航员执行深空探索任务:一项研究研究,以开发和验证基于能力的训练框架
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:美国宇航局任务中的基线软件异常