相关推荐

需求驱动的可信软件过程

  • 作者:张璇
  • ISBN:9787030534385
  • 出版社:科学出版社
  • 出版年:2017

基于虚拟可信平台的软件可信性研究

  • 作者:郝瑞
  • ISBN:9787307193208
  • 出版社:武汉大学出版社
  • 出版年:2017

软件安全性需求形式化建模和验证

  • 作者:李震
  • ISBN:9787568401128
  • 出版社:江苏大学出版社
  • 出版年:2019

复杂软件系统可信性分析与验证方法

  • 作者:符宁
  • ISBN:9787561282977
  • 出版社:西北工业大学出版社
  • 出版年:2022