机译:软件指标的历史汇编,适用于NASA的Orion航天器飞行软件尺寸
机译:软件指标的历史汇编,适用于NASA的Orion航天器飞行软件规模
机译:基于需求的,自下而上的SLOC估算和分析NASA的Orion乘员组探索飞行器航天器飞行软件
机译:太空飞行软件是嵌入式软件-NASA JPL的Gerard Holzmann:模型驱动的验证现已实用
机译:确保NASA猎户座飞船安全关键嵌入式软件的敏捷方法
机译:在国家仪器LabVIEW中实现NASA的核心飞行软件(cFS)
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:美国宇航局空间飞行软件的软件可靠性分析:实践经验