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

Search Results

Help

Item hits: (Results 1-10 of 20)

Filters    
Items/Page:    Sort:
时间自动机模拟器CTAV-Simulator的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-01
喻灵婧
  |  
 
时序逻辑博弈问题的必胜策略检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-06-01
梁虹
  |  
 
基于带赋值符号迁移图的Monte Carlo模型检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
马明
  |  
 
卫命令模型检测工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王绍春
  |  
 
构建度量区间时序逻辑的时间自动机 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王勤思
  |  
 
基于分支时序逻辑的编译优化测试用例自动生成方法的研究与实现 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
曾伟明
  |  
 
时序逻辑理论研究:表达能力和复杂性 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-03
吴志林
  |  
 
基于时序逻辑的并发系统测试用例生成 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-01
刘大光
  |  
 
基于时序逻辑的编译优化形式化描述及测试用例生成方法 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-02
夏勇
  |  
 
基于反例搜索的启发式模型检测算法的研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
施小纯
  |  
 

1 2 next

 

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