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

Search Results

Help

Item hits: (Results 11-20 of 25)

Items/Page:    Sort:
a graph-based implementation for mechanized refinement calculus of oo programs [会议论文]
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
knowledge-theoretic approach to formal verification of web services protocols [会议论文]
2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453
Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin
  |  
 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
asm-spv: a model checker for security protocols [会议论文]
6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831
Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
a method for modeling aspect-oriented dynamic software architecture [会议论文]
5th International Conference on Computer Science and Education, ICCSE 2010, Hefei, China, August 24,
Wang Ling; Zhang Guangquan; Zhu Jihan; Wu Jianfeng
  |  
 
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

 
refinement and verification in component-based model-driven design [期刊论文]
SCIENCE OF COMPUTER PROGRAMMING, 2009-01-01, 卷号: 74, 期号: 4, 页码: 168-196
Chen Zhenbang; Liu Zhiming; Ravn Anders P.; Stolz Volker; Zhan Naijun
  |  
 
a note on regular petri nets [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 3, 页码: 110-114
Jiao Li
  |  
 

previous 1 2 3 next

 

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