陈祖希
开通时间:..
最后更新时间:..
点击次数:
负责人姓名:陈祖希
项目来源单位:华侨大学高层次人才科研启动项目
项目来源:华侨大学
项目级别:校级
项目编号:16BS708
立项时间:2016-09-30
计划完成时间:2019-09-30
结项日期:2019-09-30
开始日期:2016-09-30
项目批准号:16BS708
上一条:基于可判定形式理论的高铁列控软件安全性验证技术研究
下一条:基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究