Search Results

Item hits: (Results 11-20 of 112)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	公平性约束下基于抽象和推理的活性验证 [学位论文] 博士, 北京: 中国科学院研究生院, 2013-05-31 龙腾   |
	连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文] 硕士, 北京: 中国科学院大学, 2013-05-27 高杨   |
	基于PVS的数据库安全策略形式化分析方法 [期刊论文] 中国科学技术大学学报, 2013-01-01, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕
	基于问题模式的形式化软件规格说明生成方法 [期刊论文] 计算机研究与发展, 2013-01-01, 卷号: 50, 期号: 2, 页码: 352-360 王昌晶; 罗海梅; 左正康
	CTCS-3级列车运行控制系统的形式建模 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-30 权曌   |
	基于状态转移系统的安全协议形式化建模方法的研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-29 岳庆刚   |
	认知无线电网络分布式协同感知协议形式化验证研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-25 刘金波   |
	认知无线电通信控制系统并发属性验证 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-25 范林林   |
	基于PAR的排序算法自动生成研究 [期刊论文] 软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260 石海鹤; 薛锦云
	动态远程证明协议及其形式化分析 [期刊论文] 计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 8, 页码: 2901-2905 辛思远; 赵勇; 王婷

previous 1 2 3 4 5 6 7 8 9 10 11 next