Search Results

Item hits: (Results 21-30 of 78)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	基于Verds的C语言子集的模型检测方法 [期刊论文] 计算机系统应用, 2013-01-01, 期号: 11, 页码: 19-25,18 张兰兰
	Godson-T缓存一致性协议的Murphi建模和验证 [期刊论文] 计算机系统应用, 2013-01-01, 期号: 10, 页码: 124-128 周琰
	一种基于项重写的密码模块API安全性检测算法 [期刊论文] 中国科学院大学学报, 2013-01-01, 卷号: 30, 期号: 5, 页码: 699-705 刘波; 陈华
	多线程二进制程序的原子性错误检测 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-31 李潇   |
	基于带赋值符号迁移图的Monte Carlo模型检测 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-31 马明   |
	带参的相继式演算 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-31 纪开亮   |
	认知无线电网络分布式协同感知协议形式化验证研究 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-25 刘金波   |
	认知无线电通信控制系统并发属性验证 [学位论文] 硕士, 北京: 中国科学院研究生院, 2012-05-25 范林林   |
	一种并发程序原子性错误的检测方法及工具 [期刊论文] 计算机应用与软件, 2012-01-01, 卷号: 29, 期号: 11, 页码: 92-94,100 李潇; 刘剑; 易秋萍
	航天嵌入式操作系统的分析与验证 [期刊论文] 载人航天, 2012-01-01, 卷号: 18, 期号: 6, 页码: 69-74 李斌; 马越; 李潇; 刘剑

previous 1 2 3 4 5 6 7 8 next