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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
Super-dense computation in verification of hybrid CSP processes [会议论文]
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)

 
message from the qsic 2012 general chair [期刊论文]
Proceedings - International Conference on Quality Software, 2012-01-01, 页码: x-
Zhou Chaochen

 
recent advances in program verification through computer algebra [期刊论文]
Frontiers of Computer Science in China, 2010-01-01, 卷号: 4, 期号: 1, 页码: 40559
Yang Lu; Zhou Chaochen; Zhan Naijun; Xia Bican
  |  
 
discovering non-linear ranking functions by solving semi-algebraic systems [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun; Zhou Chaochen
  |  
 
program verification through computer algebra [会议论文]
8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, PEOPLES R CHINA, NOV 01-03,
Zhou Chaochen
  |  
 
completeness of neighbourhood logic [期刊论文]
Journal of Logic and Computation, 2000-01-01, 卷号: 10, 期号: 2, 页码: 271-295
Barua Rana; Roy Suman; Chaochen Zhou

 

1

 

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