ISCAS OpenIR  > 基础软件与系统重点实验室
智能合约的时间约束模式及其形式化验证
赵颖琪
专业软件工程
导师李广元
2021-11-25
学位授予单位中国科学院研究生院
学位硕士
学位授予地点北京
关键词智能合约,模型检测,时间约束模式,时间自动机,可靠性
内容类型学位论文
URI标识http://ir.iscas.ac.cn/handle/311060/19476
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
赵颖琪. 智能合约的时间约束模式及其形式化验证[D]. 北京. 中国科学院研究生院,2021.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
硕士学位论文_最终版本.pdf(2185KB)学位论文 开放获取CC BY-NC-SA请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[赵颖琪]的文章
百度学术
百度学术中相似的文章
[赵颖琪]的文章
必应学术
必应学术中相似的文章
[赵颖琪]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。