中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Super-dense computation in verification of hybrid CSP processes 会议论文 OAI收割 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) \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2014/12/16 Hybrid system Differential invariant Hybrid CSP Duration Calculus Super-dense computation Hybrid Hoare logic
	message from the qsic 2012 general chair 期刊论文 OAI收割 Proceedings - International Conference on Quality Software, 2012, 页码: x- Zhou Chaochen \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2013/09/17
	recent advances in program verification through computer algebra 期刊论文 OAI收割 Frontiers of Computer Science in China, 2010, 卷号: 4, 期号: 1, 页码: 40559 Yang Lu; Zhou Chaochen; Zhan Naijun; Xia Bican \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/05/23 Algebra Nonlinear systems Structured programming
	discovering non-linear ranking functions by solving semi-algebraic systems 会议论文 OAI收割 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 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/29 Algebra Calculations Difference equations Polynomial approximation
	program verification through computer algebra 会议论文 OAI收割 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, PEOPLES R CHINA, NOV 01-03, Zhou Chaochen \| 收藏 \| 浏览/下载：11/0 \| 提交时间：2011/07/28
	completeness of neighbourhood logic 期刊论文 OAI收割 Journal of Logic and Computation, 2000, 卷号: 10, 期号: 2, 页码: 271-295 Barua Rana; Roy Suman; Chaochen Zhou \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2011/07/29 Artificial intelligence Computational methods Computer programming languages Real time systems Set theory Theorem proving