计算机工程2010，Vol.36Issue(14)：251-253,3.
嵌入式高可靠星务管理软件设计与验证
Design and Verification of High Reliable Embedded Satellite Mission Management Software
摘要
关键词
星载计算机/星务管理软件/可靠性分类
信息技术与安全科学引用本文复制引用
王平,李华旺,尹增山,孙宁..嵌入式高可靠星务管理软件设计与验证[J].计算机工程,2010,36(14):251-253,3.基金项目
山东省计算机网络重点实验室开放基金资助项目(200802) （200802）
中科院创新工程基金资助项目(KGCX1-Y-03) （KGCX1-Y-03）
高效能服务器和存储技术国家重点实验室开放基金资助项目(2009HSSA03) （2009HSSA03）
