NASA Ames Research Center, Moffett Field, CA;
NASA Ames Research Center, Moffett Field, CA;
NASA Ames Research Center, Moffett Field, CA;
NASA Dryden Flight Research Center, Edwards, CA;
NASA Dryden Flight Research Center, Edwards, CA;
NASA Dryden Flight Research Center, Edwards, CA;
机译:信息系统验证与确认:技术,系统和哲学的三个视角(参与性小组)“主动学习工具”
机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:交互式单元启动过程的开发和验证作为在NVNPP执行员信息支持系统的软件工具中的软件工具
机译:开发航空航天应用中学习系统认证的高级验证和验证程序和工具
机译:基于模型的系统工程应用使用制作和MagicDraw建模工具确定航空航天部件的可靠性,风险和安全性
机译:先进的多传感器声-超声结构健康监测系统:开发和航空航天演示
机译:开发先进的验证和确认程序以及用于航空航天应用学习系统认证的工具
机译:开发航空航天应用学习系统认证的高级验证和验证程序和工具