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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
一种新型形式化验证方法——理论与工具 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-03-08
刘坚
  |  
 
基于图的进程演算及其应用 [学位论文]
博士, 北京: 中国科学院大学, 2017-06-01
刘士超
  |  
 
基于概率传值进程演算的网络安全建模与分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-11-25
张倩
  |  
 
基于Pushdown系统证明的可视化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-01-01
周青
  |  
 
基于余代数的模型检测和定理证明 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-29
高建华
  |  
 
带参的相继式演算 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
纪开亮
  |  
 

1

 

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