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

以状态子集为中心的并行模型检测技术研究
出版年：2016
作者：张营飞
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于视觉的疲劳状态检测技术研究
  • 作者：徐博勋
  • 出版社：中国科学院大学微电子学院
  • 出版年：2019
...

基于Verds的C语言子集模型检测方法研究
  • 作者：张兰兰
  • 出版年：2013
...

基于Verds 的 c 语言子集模型检测方法研究
  • 作者：张兰兰
  • 出版社：中国科学院
  • 出版年：2013
...

有穷状态XYZ/E程序的模型检查研究
  • 作者：赵海云
  • 出版社：中国科学院
  • 出版年：2002
...

组件语义约束的动态模型检测方法和技术研究
  • 作者：倪彬
  • 出版社：中国科学院
  • 出版年：1998
...

网络入侵检测系统并行化技术研究
  • 作者：姜海洋
  • 出版年：2014