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

Search Results

Help

Item hits: (Results 1-10 of 16)

Filters    
Items/Page:    Sort:
带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-17
高冲
  |  
 
基于行为约束传播的并发系统状态空间约简方法 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-26
王志江
  |  
 
PAR中泛型约束机制的设计与实现 [学位论文]
博士, 北京: 中国科学院大学, 2011-07-01
左正康
  |  
 
最优化约束满足问题的复杂性与近似性研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-06-01
唐林清
  |  
 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
SAT和DSOLS问题的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-05-31
卢闰明
  |  
 
语义Web中的自动推理和主动规则终止性分析 [学位论文]
博士, 中国科学院软件研究所: 中国科学院研究生院, 2008-06-04
徐贵红
  |  
 
一种基于模型的并发系统测试目的描述 [期刊论文]
计算机工程与应用, 2007-01-01, 卷号: 43, 期号: 25, 页码: 105-110
刘大光; 林惠民; 吴鹏
  |  
 
约束问题求解 [期刊论文]
自动化学报, 2007-01-01, 卷号: 33, 期号: 2, 页码: 125-131
季晓慧; 张健
  |  
 

1 2 next

 

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