中文
Open Menu
Home
Scientific Research
Back To Previous
Research Field
Paper Publications
Patents
Published Books
Research Projects
Research Team
Teaching Research
Back To Previous
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Enrollment Information
Student Information
My Album
Blog
陈祖希
Research Projects
基于微分逻辑的轨道交通运营实时场景全符号化模型检测技术研究
Hits:
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:
高速铁路信号系统安全认证和评估技术研究
