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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv YinRun(吕荫润); Wang, YJ
  |  
 
一种基于单条程序执行路径的错误定位方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 112-118
周艺; 易秋萍; 刘剑; 淮晓永

 
More efficient two-mode stochastic local search for random 3-satisfiability [期刊论文]
Applied Intelligence, 2014-01-01, 卷号: 41, 期号: 3, 页码: 665-680
Luo, Chuan (1); Su, Kaile (2); Cai, Shaowei (3)

 
命题模态逻辑的模型构造和完备性证明 [期刊论文]
计算机应用与软件, 2014-01-01, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕

 
改进的以SMT为基础的实时系统限界模型检测 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
  |  
 
specification analysis and test data generation by solving boolean combinations of numeric constraints [会议论文]
1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31,
Zhang J
  |  
 

1

 

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