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

Search Results

Help

Item hits: (Results 1-10 of 11)

Items/Page:    Sort:
随机性检测参数选择研究 [期刊论文]
通信学报, 2009-01-01, 卷号: 30, 期号: 1, 页码: 1-6
范丽敏; 冯登国; 陈华
  |  
 
BPMN到BPEL2.0的模型转换方法 [期刊论文]
计算机应用研究, 2008-01-01, 卷号: 25, 期号: 11, 页码: 3363-3366
魏明; 夏永霖; 魏峻
  |  
 
对一种新的序列密码结构的密码分析 [期刊论文]
软件学报, 2008-01-01, 卷号: 19, 期号: 5, 页码: 1256-1264
黄小莉; 武传坤
  |  
 
软件过程支撑环境SPEFE的设计与改进 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-31
李明
  |  
 
一种基于SAT的运算电路查错方法 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 12, 页码: 2082-2089
陈云霁; 张健; 沈海华; 胡伟武
  |  
 
一种面向实时交互的变形手势跟踪方法 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 10, 页码: 2423-2433
王西颖; 张习文; 戴国忠
  |  
 
模型检验工具FPTAChecker的设计与实现 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-08
刘春明
  |  
 
LFC语言检验方法的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-05
吴端仪
  |  
 
有限精度时间自动机的时钟表示 [期刊论文]
计算机应用研究, 2006-01-01, 期号: 7, 页码: 23-25,31
刘春明; 晏荣杰; 徐雨波
  |  
 
时钟同步的假设检验研究 [期刊论文]
计算机仿真, 2006-01-01, 卷号: 23, 期号: 3, 页码: 99-103
金宏; 王晖; 李宝森; 王宏安
  |  
 

1 2 next

 

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