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

Search Results

Help

Item hits: (Results 1-4 of 4)

Filters    
Items/Page:    Sort:
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
基于ECA规则的工作流时间约束分析 [期刊论文]
中国管理科学, 2008-01-01, 卷号: 16, 期号: 5, 页码: 110-117
李德芳; 刘鲁; 张朝俊; 乔颖; 王宏安
  |  
 
一致性测试中的时间约束及测试用例生成算法 [期刊论文]
西安交通大学学报, 2006-01-01, 卷号: 40, 期号: 4, 页码: 381-385
赵保华; 柯尧
  |  
 
多维计算机取证模型研究 [期刊论文]
信息网络安全, 2005-01-01, 期号: 10
丁丽萍; 王永吉
  |  
 

1

 

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