机构

• 软件研究所 [8]
• 数学与系统科学研究院 [2]
• 地理科学与资源研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [7]
• 会议论文 [3]
• SCI/SSCI论文 [1]

发表日期

• 2016 [1]
• 2014 [2]
• 2013 [2]
• 2012 [1]
• 2011 [1]
• 2010 [2]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems 期刊论文  OAI收割 SCIENCE CHINA-MATHEMATICS, 2016, 卷号: 59, 期号: 2, 页码: 379-396 作者:  Zhang RuiLi;  Tang YiFa;  Zhu BeiBei;  Tu XiongBiao;  Zhao Yue   |  收藏  |   A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文  OAI收割 Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174 Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)   |  收藏  |   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |   FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs 期刊论文  OAI收割 INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 卷号: 55, 期号: 8, 页码: 1437-1449 Li, Bixin; Sun, Xiaobing; Keung, Jacky   |  收藏  |   基于PVS的数据库安全策略形式化分析方法 会议论文  OAI收割 首届全国信息安全等级保护技术大会, 桂林, 2012 李昊; 张敏; 王榕   |  收藏  |   Advances in the study of uncertainty quantification of large-scale hydrological modeling system SCI/SSCI论文  OAI收割 2011 作者:  Xia J. 收藏  |   formal based operation strategy design for collaborative shared teleoperation system 会议论文  OAI收割 International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843 Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu   |  收藏  |   一种基于安全状态转移的简并测试集生成方法 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |  收藏  |   bounded model checking of actl formulae 会议论文  OAI收割 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31, Chen Wei; Zhang Wenhui   |  收藏  |