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

模型检验工具FPTA Checker的设计与实现
出版社：中国科学院
出版年：2006
作者：刘春明
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

模型检验工具FPTAChecker的设计与实现
  • 作者：刘春明
  • 出版年：2006
...

模型检验原理
  • 作者：拜耳
  • ISBN：9787302577355
  • 出版社：清华大学出版社
  • 出版年：2021
...

数字系统模型检验研究
  • 作者：王明全
  • 出版年：2007
...

卫命令模型检测工具的设计与实现
  • 作者：王绍春
  • 出版社：中国科学院
  • 出版年：2010
...

离散时间自动机模型检测工具的设计与实现
  • 作者：张文亮
  • 出版社：中国科学院
  • 出版年：2007
...

暗能量性质的统计检验和模型研究
  • 作者：黄龙
  • 出版社：中国科学院新疆天文台
  • 出版年：2022