基于可判定形式理论的高铁列控软件安全性验证技术研究

负责人姓名：

陈祖希

项目来源单位：

福建省教育厅中青年教师教育科研项目

项目来源：

福建省教育厅

项目级别：

市厅级

项目编号：

JAT170041

立项时间：

2018-07-31

计划完成时间：

2020-07-31

结项日期：

2020-07-31

开始日期：

2018-07-31

项目批准号：

JAT170041