基于基本并发进程的异步通讯程序的验证模型与高效算法
61872232
2018
F0201.计算机科学的基础理论
李国强
面上项目
副教授
上海交通大学
65万元
活性;安全性;异步通讯程序;基本并发进程;模型检测
2019-01-01到2022-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
趋势报告
