嵌入式软件正确性自动证明理论研究
60553002
2005
F0203.软件理论、软件工程与服务
顾明
专项基金项目
教授
清华大学
23万元
软件可靠性;逻辑验证;模型;嵌入式软件系统;形式化描述及验证
2006-01-01到2008-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
未查询到项目成果
查看更多信息请先登录或注册
