|
已选(0)清除
条数/页： 排序方式：
|
| 全委托的公共可验证的外包数据库方案 期刊论文
软件学报, 2021, 卷号: 32, 期号: 12, 页码: 3901-3916
作者: 周搏洋; 陈春雨; 王强; 周福才
  收藏 | 浏览/下载：8/0 | 提交时间：2021/12/20
|
| 基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏 | 浏览/下载：21/0 | 提交时间：2016/06/21
|
| SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏 | 浏览/下载：24/0 | 提交时间：2014/12/16
|
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏 | 浏览/下载：16/0 | 提交时间：2012/06/13
|
| 基于XYZ/ADL的异步Web服务组合描述与验证 期刊论文
计算机科学, 2011, 卷号: 38, 期号: 12, 页码: 139-143
石慧娟; 戎玫; 张广泉; 朱稷涵
收藏 | 浏览/下载：9/0 | 提交时间：2013/10/08
|
| SRL→Radl生成系统及其相关理论研究 学位论文
博士, 北京: 中国科学院研究生院, 2010
王昌晶
收藏 | 浏览/下载：9/0 | 提交时间：2012/06/20
|
| 形式化方法B的精化 期刊论文
2010, 2010
高洪江; 覃征; 鹿蕾; 邵利平; GAO Hongjiang; QIN Zheng; LU Lei; SHAO Liping
收藏 | 浏览/下载：4/0 |
| 需求变更影响分析模型及相关技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2010
李引
收藏 | 浏览/下载：16/0 | 提交时间：2010/02/11
|
| 移动代理数据完整性保护协议分析与实现技术研究 学位论文
硕士, 中科院软件所: 中科院软件所, 2009
-
收藏 | 浏览/下载：19/0 | 提交时间：2009/06/11
|
| 多语种构件技术的研究与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2009
作者: 汪漪
收藏 | 浏览/下载：9/0 | 提交时间：2014/10/14
|
