|
已选(0)清除
条数/页： 排序方式：
|
| 基于文本特征提取的软件缺陷自动定位技术研究 学位论文
硕士, 北京: 中国科学院大学, 2020
作者: 朱家佑
  收藏 | 浏览/下载：16/0 | 提交时间：2020/06/10
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
收藏 | 浏览/下载：192/0 | 提交时间：2019/07/03
|
| 一种新型形式化验证方法——理论与工具 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 刘坚
收藏 | 浏览/下载：33/0 | 提交时间：2019/04/01 |
| Java内存模型的动静态结合验证方法 学位论文
硕士, 北京: 中国科学院研究生院, 2018
作者: 李亮
收藏 | 浏览/下载：18/0 | 提交时间：2018/06/28
|
| 基于交通数据的公交车体广告投放可视分析研究 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 王艺博
收藏 | 浏览/下载：16/0 | 提交时间：2017/07/08 |
| 一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 时雨霖
收藏 | 浏览/下载：19/0 | 提交时间：2017/07/08
|
| ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏 | 浏览/下载：47/0 | 提交时间：2016/12/09
|
| 移动互联网应用隐私泄露问题 学位论文
博士, 北京: 中国科学院研究生院, 2014
程瑶
收藏 | 浏览/下载：17/0 | 提交时间：2015/01/05
|
| 基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏 | 浏览/下载：19/0 | 提交时间：2014/06/06
|
| 软件结构化测试数据生成技术 学位论文
硕士, 北京: 中国科学院大学, 2014
吴添勇
收藏 | 浏览/下载：25/0 | 提交时间：2014/05/29
|
