陈祖希
开通时间:..
最后更新时间:..
点击次数:
项目来源单位:卡斯柯信号有限公司
项目来源:企事业单位委托科技项目
立项时间:2020-06-23
结项日期:2021-06-30
开始日期:2021-01-01
上一条:基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究
下一条:基于可判定形式理论的高铁列控软件安全性验证技术研究