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

Item hits: (Results 1-7 of 7)

Items/Page: Sort:
	带时间约束的LTL性质的模型检测的实现 [期刊论文] 计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567 部德振 \|
	带时间约束的LTL公式的模型检测技术及工具实现 [学位论文] 硕士, 北京: 中国科学院研究生院, 2010-06-03 部德振 \|
	基于ECA规则的工作流时间约束分析 [期刊论文] 中国管理科学, 2008-01-01, 卷号: 16, 期号: 5, 页码: 110-117 李德芳; 刘鲁; 张朝俊; 乔颖; 王宏安 \|
	一致性测试中的时间约束及测试用例生成算法 [期刊论文] 西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385 赵保华; 柯尧 \|
	多维计算机取证模型研究 [会议论文] 第20次全国计算机安全学术交流会, 西宁丁丽萍; 王永吉 \|
	多维计算机取证模型研究 [期刊论文] 信息网络安全, 2005-01-01, 期号: 10 丁丽萍; 王永吉 \|
	基于动态规则的事件检测方法研究和应用 [学位论文] 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01 王绍恒 \|


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