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

Search Results

Help

Item hits: (Results 1-10 of 23)

Filters    
Items/Page:    Sort:
扩展正则表达式及其自动机的学习算法的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2021-05-27
汪小凡
  |  
 
基于多模融合的室内定位研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2021-05-01
何兵;  何兵
  |  
 
时滞动态系统的形式验证与控制生成 [学位论文]
博士, 北京: 中国科学院大学, 2019-05-24
陈明帅
  |  
 
带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-17
高冲
  |  
 
可线性化性错误的自动化定位与分析技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-19
陈旸
  |  
 
并发数据结构的归约和验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-17
王超
  |  
 
基于Pushdown系统证明的可视化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-01-01
周青
  |  
 
Simulink/Stateflow 模型的形式验证及其应用 [学位论文]
博士, 北京: 中国科学院大学, 2015-05-26
邹亮
  |  
 
并发软件适应性随机测试方法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2015-05-01
岳翰
  |  
 
并发系统差分隐私的形式化验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-01
许丽丽
  |  
 

1 2 3 next

 

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