ISCAS OpenIR  > 基础软件与系统重点实验室
智能合约的时间约束模式及其形式化验证
赵颖琪
Major软件工程
Supervisor李广元
2021-11-25
Degree Grantor中国科学院研究生院
Degree Level硕士
Place of Degree Grantor北京
Keyword智能合约,模型检测,时间约束模式,时间自动机,可靠性
Content Type学位论文
URIhttp://ir.iscas.ac.cn/handle/311060/19476
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
赵颖琪. 智能合约的时间约束模式及其形式化验证[D]. 北京. 中国科学院研究生院,2021.
Files in This Item:
File Name/Size DocType Version Access License
硕士学位论文_最终版本.pdf(2185KB)学位论文 开放获取CC BY-NC-SAApplication Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[赵颖琪]'s Articles
Baidu academic
Similar articles in Baidu academic
[赵颖琪]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[赵颖琪]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.