中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共17条，第1-10条 帮助

条数/页： 排序方式：
数据通路型电路的形式化验证方法研究 学位论文  OAI收割
北京: 中国科学院研究生院, 2011
作者:  陈博文
  |  收藏  |  浏览/下载：22/0  |  提交时间：2011/06/07
通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法 期刊论文  OAI收割
计算机辅助设计与图形学学报, 2009, 卷号: 21, 期号: 4
作者:  卢鼎;  傅亮;  孙愿;  张志敏
  |  收藏  |  浏览/下载：12/0  |  提交时间：2010/11/09
一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮; 彭云全
收藏  |  浏览/下载：67/2  |  提交时间：2011/06/10
高效XML验证技术的实现 期刊论文  OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 4, 页码: 937-941
余双; 曹冬磊; 戴蓓洁; 金蓓弘
  |  收藏  |  浏览/下载：12/0  |  提交时间：2010/07/27
结合ATPG和SAT的无界模型检验前像计算方法 期刊论文  OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 3
作者:  
  |  收藏  |  浏览/下载：18/0  |  提交时间：2010/11/22
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割
中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊; 金芝; 吴步丹
  |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/13
需求驱动的Web服务建模及其验证:一个基于本体的方法 期刊论文  OAI收割
中国科学E辑:信息科学, 2006, 页码: 1189-1219
作者:  侯丽珊;  金芝;  吴步丹
  |  收藏  |  浏览/下载：40/0  |  提交时间：2021/01/14
从文本中获取植物知识方法的研究 期刊论文  OAI收割
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 6
作者:  罗贝;  吴洁;  曹存根;  邵志清
  |  收藏  |  浏览/下载：1/0  |  提交时间：2023/12/04
模糊几何和纹理特征在指纹细节点后处理中的应用 期刊论文  OAI收割
计算机辅助设计与图形学学报, 2004, 卷号: 16, 期号: 4, 页码: 487-491,496
傅景广; 许刚; 王裕国
  |  收藏  |  浏览/下载：23/0  |  提交时间：2011/07/29
面向对象的实时系统可调度性验证和代码生成技术研究 学位论文  OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
舒国强
收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17