机构

• 软件研究所 [28]
• 计算技术研究所 [2]
• 金属研究所 [1]
• 地理科学与资源研究所 [1]
• 自动化研究所 [1]
• 近代物理研究所 [1]
• 更多

采集方式

• OAI收割 [34]

内容类型

• 期刊论文 [18]
• 会议论文 [14]
• SCI/SSCI论文 [1]
• 学位论文 [1]

发表日期

• 2015 [1]
• 2014 [2]
• 2012 [1]
• 2011 [1]
• 2010 [4]
• 2009 [3]
• 更多

学科主题

• Computer S... [4]
• Informatio... [3]
• Computer S... [1]
• Computer S... [1]
• Computer S... [1]

筛选

浏览/检索结果: 共34条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文  OAI收割 MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304 Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS   |  收藏  |   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 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |   MOTEC:一个存储一致性模型验证工具 期刊论文  OAI收割 计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 242-246 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |   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   |  收藏  |   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |   一种基于安全状态转移的简并测试集生成方法 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |  收藏  |   asm-spv: a model checker for security protocols 会议论文  OAI收割 6th International Conference on Intelligent Information Hiding and Multimedia Signal Processing, IIHMSP 2010, Darmstadt, Germany, 40831 Peng Jianhua; Liu Feng; Zhao Zhenju; Huang Danqing; Xue Rui   |  收藏  |   a petri net-based model for verification of obligations and accountability in cooperative systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 卷号: 39, 期号: 2, 页码: 299-308 Du YuYue; Jiang ChangJun; Zhou MengChu   |  收藏  |