中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
采集方式
OAI收割 [3]
内容类型
学位论文 [3]
发表日期
2016 [1]
2010 [2]
学科主题
计算机科学技术基础学... [3]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
筛选
浏览/检索结果:
共3条,第1-3条
帮助
限定条件
学科主题:计算机科学技术基础学科::自动机理论
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
发表日期升序
发表日期降序
扩展时序协作逻辑的模型检测方法研究
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2016
纪玮
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2016/06/27
时序协作逻辑
博弈逻辑
模型检测
扩展时序协作逻辑
构建度量区间时序逻辑的时间自动机
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王勤思
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2010/06/08
模型检测
实时时序逻辑
度量区时序逻辑
基于迁移的扩展时间Büchi自动机
Tableau方法。
带时间约束的LTL公式的模型检测技术及工具实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
部德振
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/06/08
实时系统
时间自动机
时间约束
LTL性质
模型检测