基于粗粒度自动建模的并行软件模型检测方法及平台研究
62062052
2020
F0201.计算机科学的基础理论
孙涛
地区科学基金项目
教授
内蒙古大学
35万元
着色Petri网；粗粒度建模；数据流分析；并行软件；模型检测
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
