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

基于反例制导抽象精化的安全性验证
出版年：2016
作者：王伟锋
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

公平性约束下基于抽象和推理的活性验证
  • 作者：龙腾
  • 出版社：中国科学院
  • 出版年：2013
...

基于抽象状态机的安全协议形式化验证
  • 作者：彭建华
  • 出版社：中国科学院
  • 出版年：2011
...

抽象代数的问题和反例
  • 作者：黎永锦
  • ISBN：9787030443984
  • 出版社：科学出版社
  • 出版年：2015
...

基于抽象化的复杂系统分层控制及应用
  • 作者：唐于涛
  • ISBN：9787030584830
  • 出版社：科学出版社
  • 出版年：2018
...

5G原型验证系统中操作系统驱动抽象层的设计与实现
  • 作者：秦海超
  • 出版社：中国科学院大学人工智能学院
  • 出版年：2018
...

相与抽象
  • 作者：李刚
  • ISBN：9787551426176
  • 出版社：浙江摄影出版社
  • 出版年：2019