中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共46条，第1-10条

帮助

条数/页：排序方式：
	基于启发式方法的带参系统形式化验证学位论文 OAI收割硕士, 北京: 中国科学院大学, 2016 段凯强 \| 收藏 \|
	AKC攻击的模式、预防及案例分析学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 麻婧 \| 收藏 \|
	基于公式学习的循环不变式的推导学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2014 哈晓琳 \| 收藏 \|
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \|
	认知无线电网络分布式协同感知协议形式化验证研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 刘金波 \| 收藏 \|
	认知无线电通信控制系统并发属性验证学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 范林林 \| 收藏 \|
	基于Mealy机精化关系的验证算法期刊论文 OAI收割计算机应用与软件, 2012, 卷号: 29, 期号: 8, 页码: 169-172 梁虹; 金乃咏 \| 收藏 \|
	数据通路型电路的形式化验证方法研究学位论文 OAI收割北京: 中国科学院研究生院, 2011 作者: 陈博文 \| 收藏 \|
	系统时间的互操作方法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 李孝辉; 许龙霞; 张慧君; 薛艳荣收藏 \|