中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共3条,第1-3条 帮助

条数/页: 排序方式:
带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
  |  收藏  |  浏览/下载:22/0  |  提交时间:2014/12/16
模型检测MESIF Cache一致性协议 期刊论文  OAI收割
计算机工程与应用, 2010, 卷号: 46, 期号: 17, 页码: 66-68,152
吕正; 陈昊; 陈峰; 吕毅
  |  收藏  |  浏览/下载:23/0  |  提交时间:2011/05/24
基于模型检查实现J2EE规范的实例研究 期刊论文  OAI收割
计算机科学, 2006, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  收藏  |  浏览/下载:21/0  |  提交时间:2011/07/13