中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters            
Items/Page:    Sort:
正规树文法的产生式相交判定 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 3, 页码: 1197-1202,1212
倪晓勇; 陈海明
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
基于一阶迁移系统的限界模型检测工具实现 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
  |  
 
基于Gabor小波的渐进式着色算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 6, 页码: 1327-1329,1334
陈顺斌
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 
Modelica软件中微分代数方程指标约简算法分析 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 130-133,140
阳海军
  |  
 
函数式语言方法在网络交互程序中的应用 [期刊论文]
计算机工程与设计, 2009-01-01, 卷号: 30, 期号: 6, 页码: 1315-1320
吕品; 喻刚
  |  
 
测试顺序选择策略研究 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 4, 页码: 781-783
李都
  |  
 
基于ActiveX Scripting技术的测试软件开发 [期刊论文]
计算机工程与设计, 2005-01-01, 卷号: 26, 期号: 2, 页码: 488-490,494
冷小羽; 张健
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace