登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
模型检验工具FPTAChecker的设计与实现
出版年:
2006
作者:
刘春明
资源类型:
图书
细分类型:
学位论文
3浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
模型检验工具FPTA Checker的设计与实现
作者:
刘春明
出版社:
中国科学院
出版年:
2006
模型检验原理
作者:
拜耳
ISBN:
9787302577355
出版社:
清华大学出版社
出版年:
2021
数字系统模型检验研究
作者:
王明全
出版年:
2007
卫命令模型检测工具的设计与实现
作者:
王绍春
出版社:
中国科学院
出版年:
2010
离散时间自动机模型检测工具的设计与实现
作者:
张文亮
出版社:
中国科学院
出版年:
2007
数据随机缺失时模型的估计与检验
作者:
陈菲菲
出版年:
2016
×
访问借阅管理系统