航天软件质量评价方法研究

出版社:中国科学院长春光学精密机械与物理研究所
出版年:2022
作者:王安邦
资源类型:图书
细分类型:学位论文
相关推荐

面向航天SOPC软件的形式化验证方法研究与应用

  • 作者:周珊
  • 出版社:中国科学院空间应用工程与技术中心
  • 出版年:2022

航天型号软件工程方法与技术

  • 作者:王忠贵
  • ISBN:9787515908953
  • 出版社:中国宇航出版社
  • 出版年:2015

航天型号软件质量度量工具设计与实现

  • 作者:孟燕宁
  • 出版年:2011