机译:软件指标的历史汇编,适用于NASA的Orion航天器飞行软件规模
机译:软件指标的历史汇编,适用于NASA的Orion航天器飞行软件尺寸
机译:太空飞行软件是嵌入式软件-NASA JPL的Gerard Holzmann:模型驱动的验证现已实用
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:在国家仪器LabVIEW中实现NASA的核心飞行软件(cFS)
机译:ITSxpress:使用质量得分快速修剪内部转录间隔区序列的软件用于标记基因分析
机译:美国宇航局空间飞行软件的软件可靠性分析:实践经验
机译:使用软件度量和可靠性模型为航空电子系统的飞行和地面支持软件获得可接受的质量软件