已选(0)清除
条数/页: 排序方式:
|
| 智能合约的时间约束模式及其形式化验证 学位论文 硕士, 北京: 中国科学院研究生院, 2021 作者: 赵颖琪 收藏  |  浏览/下载:200/0  |  提交时间:2021/12/09
|
| 基于VERDS的智能合约形式化验证 学位论文 硕士, 北京: 中国科学院研究生院, 2021 作者: 包玉龙 收藏  |  浏览/下载:12/0  |  提交时间:2021/06/22 |
| 智慧健康养老平台构建关键技术研究与应用 学位论文 中国科学院新疆理化技术研究所: 中国科学院大学, 2020 作者: 陈光 收藏  |  浏览/下载:28/0  |  提交时间:2020/12/01
|
| 一种新型形式化验证方法——理论与工具 学位论文 博士, 北京: 中国科学院研究生院, 2019 作者: 刘坚 收藏  |  浏览/下载:33/0  |  提交时间:2019/04/01 |
| 公平交换协议的信道可信度形式化验证方法 Formal Verification Method for Fair Exchange Protocol by Channel Credibility 期刊论文 2018, 卷号: 39, 期号: 2, 页码: 240 作者: 杨晋吉[1]; 申涵瑞[1]; 陈清亮[2] 收藏  |  浏览/下载:11/0  |  提交时间:2019/12/13
|
| 时间触发以太网拜占庭容错方法的形式化验证 期刊论文 载人航天, 2018, 卷号: 24, 页码: 273-278 作者: 汤雪乾; 李峭; 孔韵雯; 何锋 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/30
|
| 核电厂FPGA仪控系统的验证研究 学位论文 2017, 2015 胡剑全 收藏  |  浏览/下载:6/0  |  提交时间:2017/06/20
|
| 基于时间自动机的时序约束活动异常监测系统形式化验证 学位论文 : 大连理工大学, 2017 作者: 查欣欣 收藏  |  浏览/下载:2/0  |  提交时间:2019/12/03
|
| 基于Alloy的两个群定义的等价性验证 期刊论文 应用数学进展, 2017, 卷号: 第6卷 作者: 邹科; 江建国; 徐月; 张新钢 收藏  |  浏览/下载:2/0  |  提交时间:2019/03/06
|
| 基于动态语义的Java源程序分析 学位论文 2017 作者: 刘瑞 收藏  |  浏览/下载:15/0  |  提交时间:2019/12/05
|