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

Search Results

Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
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

 
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
  |  
 
a problem reduction based approach to discrete optimization algorithm design [期刊论文]
COMPUTING, 2010-01-01, 卷号: 88, 期号: 40545, 页码: 31-54
Zheng Yujun; Xue Jinyun
  |  
 
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

 
a calculus for game-based security proofs [会议论文]
4th International Conference on Provable Security, ProvSec 2010, Malacca, Malaysia, 40829
Nowak David; Zhang Yu
  |  
 
action reasoning independent of designer [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009-01-01, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming; Wang Ju; Jiang Yuncheng

 
基于面删除的四面体网格简化新算法 [期刊论文]
电子学报, 2007-01-01, 卷号: 35, 期号: 12, 页码: 2343-2346
王选明; 吴菊英; 吴恩华
  |  
 
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
  |  
 
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
  |  
 
静电磁场不规则区域问题的小波插值Galerkin算法 [期刊论文]
计算物理, 2005-01-01, 卷号: 22, 期号: 6, 页码: 539-548
侯霞; 范植华; 顾永耕; 杨鸿波
  |  
 

1 2 next

 

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