中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	构建度量区时序逻辑的时间自动机 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 2, 页码: 568-571,575 王勤思 \|
	带时间约束的LTL性质的模型检测的实现 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567 部德振 \|
	基于Yices对时间自动机的有界模型检测 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮 \|
	基于一阶迁移系统的限界模型检测工具实现 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136 冯庆奎 \|
	对时间自动机进行空性检测的过程和改进 [期刊论文] 计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In