- English

陈祖希

副教授硕士生导师

当前位置: 中文主页 >> 科学研究 >> 科研项目

TACS系统联锁需求研究

点击次数：

项目来源单位：

卡斯柯信号有限公司

项目来源：

企事业单位委托科技项目

立项时间：

2020-06-23

结项日期：

2021-06-30

开始日期：

2021-01-01

上一条：基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究

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