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

项目来源单位：

卡斯柯信号有限公司

项目性质：

民用横向项目（技术开发）

项目来源：

企事业单位委托科技项目

项目编号：

20211HH264

立项时间：

2021-01-01

结项日期：

2021-12-31

开始日期：

2021-01-01

资助额度(万元)：

20.0