Supported by:国家自然科学基金委员会
Supported by:National Natural Science Foundation of China (NSFC)
Project level:National
Project Participants:陈祖希
Project Number:61273180
Project Approval Number:61273180
Pre One:基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究
Next One:高速铁路信号系统安全认证和评估技术研究
The Last Update Time:..