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

Search Results

Help

Item hits: (Results 1-10 of 11)

Filters    
Items/Page:    Sort:
具体反例生成与图形化显示系统 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 11, 页码: 51-57
信贤卫

 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 
基于Yices对时间自动机的有界模型检测 [学位论文]
硕士, 中科院软件所: 中科院软件所, 2009-06-05
王晓亮
  |  
 
一种基于离散时间自动机的LTL性质检测工具 [期刊论文]
计算机仿真, 2008-01-01, 期号: 4, 页码: 80-83
张文亮; 彭云全
  |  
 
基于FSM和TA的测试用例自动生成与执行 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-05
冯东伟
  |  
 
基于整数时间的实时系统符号化模型检测技术 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-02
晏荣杰
  |  
 
软件过程支撑环境SPEFE的设计与改进 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-05-31
李明
  |  
 
基于时间模型的实时系统测试方法研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-07
陈伟
  |  
 

1 2 next

 

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