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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters        
Items/Page:    Sort:
Simulink/Stateflow 模型的形式验证及其应用 [学位论文]
博士, 北京: 中国科学院大学, 2015-05-26
邹亮
  |  
 
并发程序的自动分析与验证 [学位论文]
博士, 北京: 中国科学院大学, 2013-06-06
龙震岳
  |  
 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 
数学性质局部检测与网络计算的局部性原理 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
潘祎诚
  |  
 
面向安全协议的移动进程演算的符号化理论 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-11-25
刘佳
  |  
 
关于可满足性问题的一些研究及其在模型检测中的应用 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-05-31
陈伟
  |  
 
限界模型检测方法及其应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2009-06-03
徐亮
  |  
 
带参并发系统的模型检测 [学位论文]
硕士, 中科院软件所: 中科院研究生院, 2009-06-03
潘宏
  |  
 

1

 

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