操作系统形式化设计与安全需求的一致性验证研究.pdfVIP

  • 5
  • 0
  • 约12.31万字
  • 约 19页
  • 2015-09-07 发布于湖北
  • 举报

操作系统形式化设计与安全需求的一致性验证研究.pdf

操作系统形式化设计与安全需求的一致性验证研究.pdf

第卷第期 计 算 机 学 报 37 5            Vol.37 No.5 年月 2014 5 CHINESEJOURNALOFCOMPUTERS Ma 2014y   操作系统形式化设计与安全需求的一致性验证研究 ),),) ) ) 1 2 3 1 1 钱振江 黄皓 宋方敏     1) (南京大学

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档