中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码？
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [27]
新疆理化技术研究所 [1]
上海微系统与信息技术... [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [30]
内容类型
期刊论文 [18]
学位论文 [12]
发表日期
2021 [2]
2016 [1]
2014 [1]
2013 [2]
2011 [2]
2010 [5]
更多
学科主题
Computer S... [3]
计算机科学技术基础学... [2]
计算机科学技术基础学... [2]
计算机软件 [2]
计算机科学技术基础学... [1]
计算机科学技术基础学... [1]
更多
筛选
浏览/检索结果:
共30条，第1-10条
帮助
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
智能合约的时间约束模式及其形式化验证
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2021
作者:
赵颖琪
|
收藏
|
浏览/下载：8/0
|
提交时间：2021/12/09
智能合约，模型检测，时间约束模式，时间自动机，可靠性
物联网系统时间自动机建模的研究与应用
期刊论文
OAI收割
计算机应用与软件, 2021, 卷号: 38, 期号: 6, 页码: 84-93
作者:
陈光1,2,3,4
;
蒋同海1,5
;
王蒙1,3,4
;
唐新余1,3,4
;
季文飞1,2,3,4
|
收藏
|
浏览/下载：27/0
|
提交时间：2021/06/24
时间自动机
建模
自动机理论
建模工具
建模方法
UPPAAL
模型检测
基于反例制导抽象精化的安全性验证
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2016
王伟锋
|
收藏
|
浏览/下载：23/0
|
提交时间：2016/05/31
模型检测
反例制导抽象精化
安全性
时间自动机
Horn子句
时间自动机模拟器CTAV-Simulator的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2014
喻灵婧
|
收藏
|
浏览/下载：17/0
|
提交时间：2014/05/30
实时系统
时间自动机
时间Büchi自动机
模型检测
时序逻辑LTL
模拟器
时间自动机模型检测具体反例的生成与图形化显示
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2013
信贤卫
|
收藏
|
浏览/下载：12/0
|
提交时间：2013/05/31
实时系统
模型检测
时间自动机
反例生成
模拟器
具体反例生成与图形化显示系统
期刊论文
OAI收割
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
|
收藏
|
浏览/下载：11/0
|
提交时间：2014/12/16
时间自动机
模型检测
LTL性质
反例生成
模拟器
timed automata
model checking
LTL properties
counterexample generation
simulator
带时间约束的LTL性质的模型检测的实现
期刊论文
OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 564-567
部德振
收藏
|
浏览/下载：19/0
|
提交时间：2011/10/10
时间自动机
模型检测
线性时序逻辑性质
时间约束
空性检测
构建度量区时序逻辑的时间自动机
期刊论文
OAI收割
计算机工程与设计, 2011, 期号: 2, 页码: 568-571,575
王勤思
|
收藏
|
浏览/下载：19/0
|
提交时间：2011/10/10
模型检测
实时时序逻辑
度量区时序逻辑
基于迁移的扩展时间Bchi自动机
Tableau方法
构建度量区间时序逻辑的时间自动机
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
王勤思
|
收藏
|
浏览/下载：37/0
|
提交时间：2010/06/08
模型检测
实时时序逻辑
度量区时序逻辑
基于迁移的扩展时间Büchi自动机
Tableau方法。
带时间约束的LTL公式的模型检测技术及工具实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2010
部德振
|
收藏
|
浏览/下载：20/0
|
提交时间：2010/06/08
实时系统
时间自动机
时间约束
LTL性质
模型检测
