搜索筛选:
搜索耗时0.0866秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者：陶秀挺,
来源：浙江师范大学 年份：2010
随着网络的普及、信息技术和电子商务的蓬勃发展,电子商务协议的研究越来越深入。交换协议是电子商务协议中很重要的一部分,通过对交换协议的建模和形式化分析来研究交换协议...
[学位论文] 作者：陶秀挺,
来源：浙江师范大学 年份：2018
...
[学位论文] 作者：陶秀挺,
来源：上海交通大学 年份：2018
形式化验证是计算机科学中的核心课题之一;等价验证是形式化验证中一个主流领域;互模拟等价验证作为等价验证的重要组成部分,起始于上世纪下半叶。互模拟等价验证研究关注的模型大都是无限状态系统,而多数无限状态系统都涵括在一个一般的框架——进程重写系统（Pr......
相关搜索：
