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