高速铁路列控系统安全性验证的一阶可判定形式理论研究
| 项目编号： | 61075002 |
| 项目名称： | 高速铁路列控系统安全性验证的一阶可判定形式理论研究 |
| 摘要： | 高速铁路列控系统安全性验证的一阶可判定形式理论研究 |
| 关键词： | 高速铁路列控系统；系统安全性验证；形式理论；理论研究；可判定；定形；一阶 |
| 项目负责人： | 徐中伟 |
| 组织单位： | 国家自然科学基金委员会 |
| 主持或承担单位： | 同济大学 |
| 项目经费(万元)： | 40 |
| 项目类别： | 国家自然科学基金项目—面上项目 |
| 立项年份： | 2010 |
检索历史
应用推荐
