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

Search Results

Help

Item hits: (Results 1-10 of 28)

Items/Page:    Sort:
基于反例制导抽象精化的安全性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-25
王伟锋
  |  
 
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
PaMC带参模型检测工具及其应用研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-30
周琰
  |  
 
线条增强的建筑物图像抽象画生成 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 9, 页码: 1275-1280
柳有权; 吴宗胜; 韩红雷; 吴恩华

 
基于变换的大图点边可视化综述 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 3, 页码: 304-311
时磊; 廖琦; 林闯

 
图像抽象化的实时增强型绘制 [期刊论文]
计算机辅助设计与图形学学报, 2013-01-01, 卷号: 25, 期号: 2, 页码: 189-199
王山东; 李晓生; 刘学慧; 吴恩华

 
容错的网络声明式程序 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 8, 页码: 1992-2001
汪芳

 
基于模型检测的安全协议形式化分析方法的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-26
赵振举
  |  
 
一种面向Web服务源程序的谓词抽象验证方法 [期刊论文]
苏州大学学报(工科版), 2011-01-01, 期号: 2, 页码: 14-19
任强; 张广泉
  |  
 
网络编程逻辑抽象 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-11-25
汪芳
  |  
 

1 2 3 next

 

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