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

Search Results

Help

Item hits: (Results 41-50 of 81)

Filters    
Items/Page:    Sort:
基于组合松弛的DAE系统结构指标约简算法的研究与分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-07
张薇
  |  
 
可信信道技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-04
周玲丽
  |  
 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
卫命令模型检测工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王绍春
  |  
 
构建度量区间时序逻辑的时间自动机 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王勤思
  |  
 
基于极小T-不变量增加的Petri网可达性分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
彭建兵
  |  
 
能量分析攻击有效性评估技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-02
黄金刚
  |  
 
面向Feistel密码的基于故障传播模式的差分故障分析 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-02
陈海宁
  |  
 
基于虚拟机热迁移的可信恢复技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-01
胡晓昌
  |  
 
大规模移动对象位置信息处理及预测技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-06-01
刘奎恩
  |  
 

previous 1 2 3 4 5 6 7 8 9 next

 

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