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

Search Results

Help

Item hits: (Results 11-20 of 67)

Items/Page:    Sort:
ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS [期刊论文]
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013-01-01, 卷号: 24, 期号: 4, 页码: 419-444
Lomuscio, Alessio; Strulo, Ben; Walker, Nigel; Wu, Peng

 
一种基于项重写的密码模块API安全性检测算法 [期刊论文]
中国科学院大学学报, 2013-01-01, 卷号: 30, 期号: 5, 页码: 699-705
刘波; 陈华

 
assumption generation for asynchronous systems by abstraction refinement [会议论文]
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu

 
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

 
a probabilistic variant of projection temporal logic [会议论文]
Recent Advances in Computer Science and Information Engineering Volume 3, Changchun, China, June 17, 2011 - June 19, 2011
Yang Xiaoxiao

 
a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example [会议论文]
18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012
Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G.

 
a three-level verification approach on wireless communication controller system [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Fan Linlin; Liao Mingxue; He Xiaoxin

 
checking compatibility of context-aware service protocols [会议论文]
6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, Irvine, CA, United states, December 12, 2011 - December 14, 2011
Gao Chushu; Wei Jun

 
efficient loop-extended model checking of data structure methods [会议论文]
Software Engineering, Business Continuity, and Education International Conferences ASEA, DRBC and EL 2011, Jeju Island, Korea, Republic of, FGIT 2011
Yi Qiuping; Liu Jian; Shen Wuwei

 
a method for detecting mismatch of time-aware web services based on smt [会议论文]
6th International Conference on Computer Science and Education, ICCSE 2011, Singapore, Singapore, August 3,
Xiyan Wang; Chen Shenbiao; Zhang Guangquan; Zhu Jihan; Wu Jianfeng

 

previous 1 2 3 4 5 6 7 next

 

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