|
已选(0)清除
条数/页： 排序方式：
|
| 基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者: 龚翔; 冯涛; 杜谨泽
  收藏 | 浏览/下载：13/0 | 提交时间：2021/10/20
|
| 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者: 鲁晔
收藏 | 浏览/下载：9/0 | 提交时间：2020/11/05
|
| 基于规划目标图的无人机空战战术决策方法研究 学位论文
北京: 中国科学院研究生院, 2017
作者: 王栋
收藏 | 浏览/下载：44/0 | 提交时间：2017/06/09
|
| 面向任务的群机器人系统分层自组织规划研究 学位论文
博士: 中国科学院沈阳自动化研究所, 2016
作者: 冷雨泉
收藏 | 浏览/下载：118/0 | 提交时间：2016/12/15
|
| 面向任务的群机器人系统分层自组织规划研究 学位论文
沈阳: 中国科学院沈阳自动化研究所, 2016
作者: 冷雨泉
收藏 | 浏览/下载：9/0 | 提交时间：2016/12/15
|
| 一种基于执行力模型的服务平台自主控制方法 期刊论文
2015, 2015
顾军; 罗军舟; 曹玖新; 李伟
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于Petri网的WIA-PA协议一致性测试方法研究与平台实现 学位论文
硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2015
作者: 孙亮
收藏 | 浏览/下载：21/0 | 提交时间：2015/08/20
|
| 基于设备生命周期Petri网的WIA-PA协议一致性测试方法 期刊论文
信息与控制, 2015, 卷号: 45, 期号: 6, 页码: 703-710, 716
作者: 孙亮; 梁炜; 王恺; 张思超; 苗乔木
收藏 | 浏览/下载：12/0 | 提交时间：2016/04/13
|
| 基于分层思想的基本通信系统CPN建模 学位论文
2011
作者: 晁媛媛
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/20
|
| 基于分层思想的基本通信系统CPN建模 期刊论文
计算机工程, 2011, 期号: 15, 页码: 82-84+88
作者: 晁媛媛; 卢雷
收藏 | 浏览/下载：8/0 | 提交时间：2019/12/23
|
