已选(0)清除
条数/页: 排序方式:
|
| 公平交换协议的信道可信度形式化验证方法 Formal Verification Method for Fair Exchange Protocol by Channel Credibility 期刊论文 2018, 卷号: 39, 期号: 2, 页码: 240 作者: 杨晋吉[1]; 申涵瑞[1]; 陈清亮[2]
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:11/0  |  提交时间:2019/12/13
|
| 核电厂FPGA仪控系统的验证研究 学位论文 2017, 2015 胡剑全
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2017/06/20
|
| 基于时间自动机的时序约束活动异常监测系统形式化验证 学位论文 : 大连理工大学, 2017 作者: 查欣欣
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/03
|
| 基于Alloy的两个群定义的等价性验证 期刊论文 应用数学进展, 2017, 卷号: 第6卷 作者: 邹科; 江建国; 徐月; 张新钢
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2019/03/06
|
| 基于动态语义的Java源程序分析 学位论文 2017 作者: 刘瑞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:15/0  |  提交时间:2019/12/05
|
| 车—车通信技术在列控系统车载设备中的应用研究 学位论文 : 北京交通大学, 2017 作者: 王鹏
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:1/0  |  提交时间:2019/12/24
|
| AKC攻击的模式、预防及案例分析 学位论文 硕士, 北京: 中国科学院研究生院, 2016 麻婧
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:13/0  |  提交时间:2016/06/29
|
| 同步数据流程序的可信排序 期刊论文 2016, 2016 甘元科; 张玲波; 石刚; 王生原; 董渊; 张智慧; 王沿海; Gan Yuanke; Zhang Lingbo; Shi Gang; Wang Shengyuan; Dong Yuan; Zhang Zhihui; Wang Yanhai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0 |
| 同步数据流语言时态消去的可信翻译 期刊论文 2016, 2016 张玲波; 甘元科; 石刚; 王生原; 董渊; 张智慧; 王沿海; ZHANG Ling-bo; GAN Yuan-ke; SHI Gang; WANG Sheng-yuan; DONG Yuan; ZHANG Zhi-hui; WANG Yan-hai
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:9/0 |
| 同步数据流语言可信编译器的构造 期刊论文 2016, 2016 石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:3/0 |