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

有穷状态XYZ/E程序的模型检查研究
出版社：中国科学院
出版年：2002
作者：赵海云
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

以状态子集为中心的并行模型检测技术研究
  • 作者：张营飞
  • 出版年：2016
...

人体心血管功能状态 :检查、分 析、评价及应用
  • 作者：温宗〓
  • ISBN：7800200590
  • 出版社：人民军医出版社
  • 出版年：1988
...

半导体器件模型异常检查研究
  • 作者：张华龙
  • 出版年：2021
...

基于Workflow Net的空间有效载荷状态一致性检查方法研究
  • 作者：李楠
  • 出版社：中国科学院空间应用工程与技术中心
  • 出版年：2019
...

岩石工程的扰动状态本构模型研究
  • 作者：王德玲
  • 出版年：2004
...

基于深度神经网络的对话状态追踪模型研究
  • 作者：张学君
  • 出版社：中国科学院声学研究所
  • 出版年：2022