陈祖希
开通时间:..
最后更新时间:..
点击次数:
项目来源单位:国家自然科学基金委员会
项目来源:国家自然科学基金项目
项目级别:国家级
项目参与人员:陈祖希
项目编号:61273180
立项时间:2012-09-30
计划完成时间:2016-09-30
结项日期:2016-09-30
开始日期:2012-09-30
项目批准号:61273180
上一条:基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究
下一条:高速铁路信号系统安全认证和评估技术研究