中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

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
王绍恒
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace