已选(0)清除
条数/页: 排序方式:
|
| 圆柱群水动力辐射绕射中非传播模态影响规律研究 学位论文 北京: 中国科学院大学, 2018 作者: 孙哲 收藏  |  浏览/下载:91/0  |  提交时间:2018/05/28
|
| 基于Pushdown系统证明的可视化 学位论文 硕士, 北京: 中国科学院研究生院, 2016 周青 收藏  |  浏览/下载:23/0  |  提交时间:2016/06/21
|
| 基于吴方法的多值模型检验 期刊论文 2015, 2015 赵林; 吴尽昭 收藏  |  浏览/下载:2/0  |  提交时间:2017/06/19
|
| ROS中XML-RPC协议实现的形式化验证 期刊论文 小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633 贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴 收藏  |  浏览/下载:48/0  |  提交时间:2016/12/09
|
| 面向任务的空间机器人控制结构研究 学位论文 博士: 中国科学院沈阳自动化研究所, 2014 余岑 收藏  |  浏览/下载:33/0  |  提交时间:2014/07/18
|
| 带时间和资源约束的实例化过程模型验证方法 期刊论文 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 收藏  |  浏览/下载:15/0  |  提交时间:2014/12/16
|
| 密码模块API形式化分析技术研究 学位论文 硕士, 北京: 中国科学院大学, 2013 刘波 收藏  |  浏览/下载:26/0  |  提交时间:2013/05/27 |
| 一种基于项重写的密码模块API安全性检测算法 期刊论文 中国科学院大学学报, 2013, 卷号: 30, 期号: 5, 页码: 699-705 刘波; 陈华 收藏  |  浏览/下载:27/0  |  提交时间:2014/12/16
|
| 具体反例生成与图形化显示系统 期刊论文 计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫 收藏  |  浏览/下载:10/0  |  提交时间:2014/12/16
|
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文 硕士, 北京: 中国科学院研究生院, 2012 马明 收藏  |  浏览/下载:18/0  |  提交时间:2012/06/13
|