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

Search Results

Help

Item hits: (Results 121-130 of 248)

Items/Page:    Sort:
移动终端应用软件安全性分析与检测方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2015-05-01
焦四辈
  |  
 
操作系统访问控制安全性分析与强化方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2015-05-01
韩志辉
  |  
 
基于格理论的密码学研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2015-04-01
谢翔
  |  
 
SystemC程序的形式化验证方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-11-20
曾奶举
  |  
 
一类受限正则表达式的推断算法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-29
冯晓强
  |  
 
基于公式学习的循环不变式的推导 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
哈晓琳
  |  
 
Android SSL网络安全性分析研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
方慧鹏
  |  
 
基于不变式的混成系统分析、验证和设计方法研究 [学位论文]
博士, 北京: 中国科学院大学, 2014-05-27
赵恒军
  |  
 
基于行为约束传播的并发系统状态空间约简方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-26
王志江
  |  
 
同步一致性模型的验证 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-26
孙鲁明
  |  
 

previous 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 next

 

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