|
已选(0)清除
条数/页： 排序方式：
|
| 基于行为特征的CPU漏洞发现与利用方法研究 学位论文
硕士, 北京: 中国科学院大学, 2020
作者: 刘迎辉
  收藏 | 浏览/下载：4/0 | 提交时间：2020/06/10
|
| 基于一种形式化方法的3D虚拟祭祀场景建模语言与环境 期刊论文
计算机应用, 2018, 卷号: 38, 页码: 2666-2672,2711
作者: 徐晓丹; 李秉杰; 李伯森; 吕舜
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/30
|
| 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文
2018
作者: 鲁晔
收藏 | 浏览/下载：12/0 | 提交时间：2020/11/05
|
| 基于状态变迁矩阵的软件可靠性建模方法研究 学位论文
: 大连理工大学, 2017
作者: 潘杰
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/03
|
| 智能合约的形式化验证方法 期刊论文
信息安全研究, 2016, 卷号: 2, 页码: 1080-1089
作者: 胡凯; 白晓敏; 高灵超; 董爱强
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30
|
| 基于层次任务网络规划的分布式协同地理建模任务分解方法研究 期刊论文
2015, 2015
杨慧; 闾国年; 盛业华
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于通信顺序进程的OWL-S 语义分析与建模 期刊论文
2015, 2015
杨建书; 吴尽昭; 周瑾
收藏 | 浏览/下载：3/0 | 提交时间：2017/06/19
|
| 数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
收藏 | 浏览/下载：19/0 | 提交时间：2016/12/09
|
| 基于扩展时间Petri网的嵌入式中断建模与验证 学位论文
: 大连理工大学, 2015
作者: 常军旺
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/09
|
| 基于STM嵌入式软件形式化建模及验证方法研究 学位论文
: 大连理工大学, 2015
作者: 任龙涛
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/09
|
