已选(0)清除
条数/页: 排序方式:
|
| 基于四象限离散相位调制的单帧图像深度学习相位反演算法研究 学位论文 中国科学院光电技术研究所: 中国科学院大学, 2021 作者: 邱学晶 收藏  |  浏览/下载:7/0  |  提交时间:2021/06/28
|
| 基于 TPM 2.0 的协议设计与分析研究 学位论文 博士, 北京: 中国科学院研究生院, 2019 作者: 王微谨 收藏  |  浏览/下载:194/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
|