CORC

在结果中检索

CORC

浏览/检索结果: 共11条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
specification in pdl with recursion 会议论文
4th NASA Formal Methods Symposium, NFM 2012, Norfolk, VA, United states, April 3, 2012 - April 5, 2012
Liu Xinxin; Xue Bingtian
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22
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
收藏  |  浏览/下载：11/0  |  提交时间：2011/10/10
a calculus for game-based security proofs 会议论文
4th International Conference on Provable Security, ProvSec 2010, Malacca, Malaysia, 40829
Nowak David; Zhang Yu
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/31
connection between logical and algebraic approaches to concurrent systems 会议论文
6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22,
Zhan Naijun
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31
action reasoning independent of designer 期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming; Wang Ju; Jiang Yuncheng
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/18
symbolic bisimulations for probabilistic systems 会议论文
4th International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, United kingdom, September
Wu Peng; Palamidessi Catuscia; Lin Huimin
收藏  |  浏览/下载：7/0  |  提交时间：2011/06/29
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
收藏  |  浏览/下载：11/0  |  提交时间：2011/06/29
基于面删除的四面体网格简化新算法 期刊论文
电子学报, 2007, 卷号: 35, 期号: 12, 页码: 2343-2346
王选明; 吴菊英; 吴恩华
收藏  |  浏览/下载：18/0  |  提交时间：2011/07/01
静电磁场不规则区域问题的小波插值Galerkin算法 期刊论文
计算物理, 2005, 卷号: 22, 期号: 6, 页码: 539-548
侯霞; 范植华; 顾永耕; 杨鸿波
收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28
基于网格计算中的安全问题研究 期刊论文
湖南师范大学自然科学学报, 2005, 卷号: 28, 期号: 1, 页码: 24-27
王一夫; 陈松乔; 范国闯
收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28

©版权所有 ©2017 CSpace - Powered by CSpace