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

Search Results

Help

Item hits: (Results 21-30 of 58)

Items/Page:    Sort:
基于一阶迁移系统的限界模型检测工具实现 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
quantitative analysis of requirements evolution across multiple versions of an industrial software product [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Hailong Wang; Juan Li; Qing Wang; Ye Yang
  |  
 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
a sentence generation algorithm for testing grammars [会议论文]
IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24,
Zheng Lixiao; Wu Duanyi

 
improved bounded model checking for the universal fragment of ctl [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009-01-01, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui

 
基于静态分析的强制访问控制框架的正确性验证 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 4, 页码: 730-739
吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳
  |  
 
path-based verification for composition of semantic web services [会议论文]
23rd Annual ACM Symposium on Applied Computing, Fortaleza, BRAZIL, MAR 16-20,
Shi Yuxiang; Yan Jun; Li Zhongjie; Zhu Jun
  |  
 
generating algorithms plus loop invariants by formal derivation [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Du Dawei; Xue Jinyun
  |  
 

previous 1 2 3 4 5 6 next

 

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