基于顺序规约的可复制数据类型一致性的形式化定义与验证
62002298
2020
F0201.计算机科学的基础理论
王超
青年科学基金项目
副教授
西南大学
24万元
形式化建模与规约；形式验证；可复制数据类型；弱一致性；分布式算法
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
