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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
构建度量区时序逻辑的时间自动机 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 568-571,575
王勤思
  |  
 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
基于一阶迁移系统的限界模型检测工具实现 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 118-121,136
冯庆奎
  |  
 
对时间自动机进行空性检测的过程和改进 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 122-125
魏绪凯
  |  
 

1

 

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