|
已选(0)清除
条数/页： 排序方式：
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
  收藏 | 浏览/下载：193/0 | 提交时间：2019/07/03
|
| 网络博弈与网络防御策略研究 学位论文
博士, 北京: 中国科学院研究生院, 2016
张晓辉
收藏 | 浏览/下载：38/0 | 提交时间：2017/01/13
|
| 支持安全转码的图像加密与认证方法研究 学位论文
博士, 北京: 中国科学院大学, 2014
易小伟
收藏 | 浏览/下载：35/0 | 提交时间：2014/05/27
|
| Radl 形式规格说明相对正确性研究 期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
收藏 | 浏览/下载：13/0 | 提交时间：2013/09/17
|
| Radl形式规格说明相对正确性研究 期刊论文
软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云
收藏 | 浏览/下载：14/0 | 提交时间：2013/09/17
|
| SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏 | 浏览/下载：10/0 | 提交时间：2012/06/20
|
| 基于分布式适配的服务协作关键技术研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
乔晓强
收藏 | 浏览/下载：15/0 | 提交时间：2010/06/10
|
| 构建度量区间时序逻辑的时间自动机 学位论文
硕士, 北京: 中国科学院研究生院, 2010
王勤思
收藏 | 浏览/下载：27/0 | 提交时间：2010/06/08
|
| Modelica建模软件形成的高指标微分代数方程系统指标约简算法研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院软件研究所, 2009
阳海军
收藏 | 浏览/下载：9/0 | 提交时间：2009/06/27
|
| 基于Yices对时间自动机的有界模型检测 学位论文
硕士, 中科院软件所: 中科院软件所, 2009
-
收藏 | 浏览/下载：13/0 | 提交时间：2009/06/11
|
