中文
Home > Scientific Research > Research Projects

高速铁路列控系统安全性验证的一阶可判定形式理论研究

Hits:

  • Supported by:国家自然科学基金项目

  • Supported by:国家自然科学基金委员会

  • Project level:National

  • Project Participants:陈祖希

  • Project Number:61075002

  • Project Approval Number:61075002

  •

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:..