《表3 案例2的实例场景:带时间约束的智能合约验证》
本文考虑到合约的应用场景,将整个合约进行了实例化处理,如表3所示。
图表编号 | XD00215324300 严禁用于非法目的 |
---|---|
绘制时间 | 2021.01.30 |
作者 | 赵颖琪、朱雪阳、李广元、高雅、包玉龙 |
绘制单位 | 中国科学院软件研究所计算机科学国家重点实验室、中国科学院大学、中国科学院软件研究所计算机科学国家重点实验室、中国科学院大学、中国科学院软件研究所计算机科学国家重点实验室、中国科学院大学、中国科学院软件研究所计算机科学国家重点实验室、中国科学院大学、中国科学院软件研究所计算机科学国家重点实验室、中国科学院大学 |
更多格式 | 高清、无水印(增值服务) |