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

Search Results

Help

Item hits: (Results 11-20 of 58)

Items/Page:    Sort:
Incremental bisimulation abstraction refinement [会议论文]
2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013
Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)

 
emerald: an automated modeling and verification tool for component-based real-time systems [会议论文]
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Zhang Yizhou; Lin Hao; Li Guoqiang

 
language-theoretic abstraction refinement [会议论文]
15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012
Long Zhenyue; Calin Georgel; Majumdar Rupak; Meyer Roland

 
robust vacuity for branching temporal logic [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012-01-01, 卷号: 13, 期号: 1, 页码: -
Gurfinkel Arie; Chechik Marsha

 
MOTEC:一个存储一致性模型验证工具 [期刊论文]
计算机工程, 2012-01-01, 卷号: 38, 期号: 11, 页码: 242-246
吕正; 陈昊; 陈峰; 吕毅
  |  
 
电子政务软件可靠性评测方法初探 [期刊论文]
Computer Applications and Software, 2012-01-01, 卷号: 29, 期号: 3, 页码: 41037
陈心光; 刘彦斌
  |  
 
automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver [期刊论文]
International Journal of Software Engineering and Knowledge Engineering, 2011-01-01, 卷号: 21, 期号: 2, 页码: 289-307
Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh

 
模型检测MESIF Cache一致性协议 [期刊论文]
计算机工程与应用, 2010-01-01, 卷号: 46, 期号: 17, 页码: 66-68,152
吕正; 陈昊; 陈峰; 吕毅
  |  
 
on hierarchically developing reactive systems [期刊论文]
INFORMATION AND COMPUTATION, 2010-01-01, 卷号: 208, 期号: 9, 页码: 997-1019
Zhan Naijun; Majster-Cederbaum Mila
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 

previous 1 2 3 4 5 6 next

 

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