Search Results

Item hits: (Results 1-10 of 132)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingIssue Date AscendingIssue Date Descending
	时滞动态系统的形式验证与控制生成 [学位论文] 博士, 北京: 中国科学院大学, 2019-05-24 陈明帅   |
	基于关联规则学习的带参验证系统 [学位论文] 硕士, 北京: 中国科学院大学, 2019-05-01 曹嘉伦   |
	Java内存模型的动静态结合验证方法 [学位论文] 硕士, 北京: 中国科学院研究生院, 2018-05-16 李亮   |
	基于TrustZone的Android完整性验证研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-26 陈坚   |
	基于启发式方法的带参系统形式化验证 [学位论文] 硕士, 北京: 中国科学院大学, 2016-05-24 段凯强   |
	AKC攻击的模式、预防及案例分析 [学位论文] 硕士, 北京: 中国科学院研究生院, 2016-05-01 麻婧   |
	基于公式学习的循环不变式的推导 [学位论文] 硕士, 北京: 中国科学院研究生院, 2014-05-28 哈晓琳   |
	基于不变式的混成系统分析、验证和设计方法研究 [学位论文] 博士, 北京: 中国科学院大学, 2014-05-27 赵恒军   |
	带时间和资源约束的实例化过程模型验证方法 [期刊论文] 计算机系统应用, 2014-01-01, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松
	面向Web应用的软件部署关键技术研究 [学位论文] 博士, 北京: 中国科学院研究生院, 2013-05-27 陈伟   |

1 2 3 4 5 6 7 8 9 10 next