|
已选(0)清除
条数/页： 排序方式：
|
| 基于四象限离散相位调制的单帧图像深度学习相位反演算法研究 学位论文
中国科学院光电技术研究所: 中国科学院大学, 2021
作者: 邱学晶
  收藏 | 浏览/下载：6/0 | 提交时间：2021/06/28
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者: 王微谨
收藏 | 浏览/下载：192/0 | 提交时间：2019/07/03
|
| 基于符号模型的TLS1.3协议安全性自动化分析 期刊论文
数学的实践与认识, 2019, 期号: 05
作者: 王小峰; 张奇林; 刘加兵
收藏 | 浏览/下载：5/0 | 提交时间：2019/12/05
|
| 信息物理融合系统可信软件形式化建模与分析 期刊论文
系统工程理论与实践, 2014, 期号: [db:dc_citation_issue], 页码: 1857-1867
作者: 于振华; 蔡远利; 付晓; 谢文军; 徐海平
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/02
|
| 基于RGPS服务本体交互建模分析与验证 期刊论文
小型微型计算机系统, 2013, 卷号: 34, 期号: 3
作者: 黄贻望; 何克清; 李征; 黄颖; 袁科
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 一种跨组织业务流程死锁检测方法 学位论文
: 大连理工大学, 2012
作者: 邴兴华
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/18
|
| 时序π演算及其对MARTE顺序图的建模 其他
2011-01-01
金暐; 王捍贫; 曹永知
收藏 | 浏览/下载：3/0 | 提交时间：2015/10/23 |
| 面向WS-CDL的服务编排形式化建模及验证工具研究与实现 学位论文
2011
作者: 林培文
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/10
|
| 面向跨组织业务流程的角色行为验证方法 期刊论文
计算机工程与设计, 2011, 卷号: 32, 页码: 3368-3373
作者: 叶鑫; 马俊锋
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/18
|
| 基于Pi演算的Web服务组合过程框架 期刊论文
计算机与数字工程, 2011, 期号: 7
作者: 毛瑞雪
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
