中文
Home > Scientific Research > Research Projects

基于一阶逻辑的实时轨道交通运行控制系统安全性验证技术研究

Hits:

  • Leading Scientist:陈祖希

  • Supported by:华侨大学高层次人才科研启动项目

  • Supported by:华侨大学

  • Project level:School discipline

  • Project Number:16BS708

  • Project Approval Number:16BS708

  •

Xiamen Campus: No.668 Jimei Avenue, Xiamen, Fujian, China 361021    Quanzhou Campus: No.269 Chenghua North Rd. Quanzhou, Fujian, China 362021 Click:
  MOBILE Version

The Last Update Time:..