反编译在航天工业中的应用-反编译 软件工具 程序验证 程序可靠性 航天 首页 | 注册会员 | 账号登录 工业技术 交通运输 航空航天 经济管理 文教体育 医药卫生 农业科学 环境安全 社会科学 文史哲学 数理化学 生物科学 天文地球 政治法律 自然科学 首页 > 宇航学报 > 1998年03期 反编译在航天工业中的应用 赵蕾 哈尔滨工业大学 文章摘要: 本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用； (共6页) 文章关键词:反编译 软件工具 程序验证 程序可靠性 航天 相关文章: [1] 航天测控中心软件调度模式与实现 《飞行器测控学报》 2000年01期[2] VMS安全保密技术的实时化 《飞行器测控学报》 2000年01期[3] 计算机电路与达尔文进化论 《世界科学》 2000年09期[4] 采用商用MPU的航天用容错计算机 《控制工程（北京）》 2000年03期[5] 航天高密度大容量数据存储技术的发展 《空间电子技术》 2000年04期[6] 用评测筑起航天软件新的长城 《中国航天》 2001年01期[7] 中巴地球资源卫星数据管理系统—电子综合化技术在航天器上的应用 《航天器工程》 2002年02期[8] 星载计算机存储器的滞后检错纠错方法 《航天控制》 2002年04期[9] 航天器控制中的星载计算机技术 《控制工程（北京）》 2001年05期[10] 航天器控制应用的星载计算机技术 《航天控制》 2005年02期 6198 3072250 赵蕾 d49defbbf9