机构

• 软件研究所 [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   |  收藏  |  浏览/下载：19/0  |  提交时间：2016/12/13 Formal methods  Formal verification  Model checking  Interaction behaviors among industrial equipments   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)   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 Model checking  Linear temporal logic  Distributed memory algorithm  Formal method  Scalable algorithm  Reliable model checker   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   MOTEC:一个存储一致性模型验证工具 期刊论文  OAI收割 计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 242-246 吕正; 陈昊; 陈峰; 吕毅   |  收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12 multicore processor  memory consistency model  formal verification  dynamic validation  memory system  validation tool   Advances in the study of uncertainty quantification of large-scale hydrological modeling system SCI/SSCI论文  OAI收割 2011 作者:  Xia J. 收藏  |  浏览/下载：23/0  |  提交时间：2012/06/08 uncertainty quantification  hydrological model  PSUADE  land-atmosphere  coupling model  large scale  surface parameterization schemes  formal bayesian method  data  assimilation  multicriteria methods  metropolis algorithm  input  uncertainty  simulation  glue  optimization  methodology   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   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/03/31 auxiliary method  collaborative shared teleoperation system  directed graph theory  formal based operation strategy design  generalize stochastic Petri net  nonstructural space environment  on-orbit system task design  satellite-earth communication delay  shortest path algorithm  task sequence algorithm  task sequence model  unit replacement task  working mode sequence  working mode topology graph  working mode transform algorithm  Petri nets  aerospace robotics  graph theory  stochastic processes  telerobotics  transforms   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   一种基于安全状态转移的简并测试集生成方法 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547 程亮; 张阳; 冯登国   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/05/23 安全操作系统测评  形式化方法  模型检测  测试用例化简  简并测试集security operating system verification  formal method  model checking  test case optimization  degenerate test set   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   |  收藏  |  浏览/下载：24/0  |  提交时间：2011/03/31 Abstracting  Computation theory  Contour followers  Formal methods  Model checking  Multimedia signal processing  Network protocols  Signal processing   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   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/03/18 Accountability  cooperative systems  discrete event system  formal model  obligations  Petri nets