登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于形式化方法的网络验证技术研究
出版社：中国科学院信息工程研究所
出版年：2022
作者：方星
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于形式化的需求自动建模与健壮性验证技术研究
  • 作者：王一华
  • 出版社：中国科学院国家空间科学中心
  • 出版年：2022
...

基于马尔科夫分析的半形式化集成电路苏勇验证方法研究
  • 作者：王健
  • 出版年：2015
...

数字集成电路功能验证的半形式化方法研究
  • 作者：张弢
  • 出版年：2010
...

通信协议形式化描述和验证理论与方法的研究
  • 作者：王宇凡
  • 出版年：2005
...

形式化方法在安全协议验证领域内的应用研究
  • 作者：任傸
  • 出版年：2003
...

网络安全协议的形式化分析与验证
  • 作者：李建华
  • ISBN：9787111297260
  • 出版社：机械工业出版社
  • 出版年：2010