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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
时间Büchi自动机LTL性质的多核模型检测工具的实现与改进 [学位论文]
硕士, 北京: 中国科学院大学, 2018-05-16
赵威
  |  
 
Android程序的GUI探索技术与应用 [学位论文]
硕士, 北京: 中国科学院大学, 2017-05-01
燕季薇
  |  
 
CTAV/TGA 模型检测工具CTAV 的功能扩展与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2016-05-20
景丽莎
  |  
 
时间自动机模拟器CTAV-Simulator的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-01
喻灵婧
  |  
 
时间自动机模型检测具体反例的生成与图形化显示 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
信贤卫
  |  
 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
构建度量区间时序逻辑的时间自动机 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王勤思
  |  
 
时间自动机关于LTL性质的符号化模型检测工具及其改进 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-06-04
魏绪凯
  |  
 

1

 

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