开放环境下安全攸关系统建模和验证理论与方法
62032024
2020
F0203.软件理论、软件工程与服务
王戟
重点项目
研究员
中国人民解放军国防科技大学
297万元
形式模型与语义；形式规约；形式验证；运行时验证与调控
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
