中文
Home > Scientific Research > Research Projects

基于可判定形式理论的高铁列控软件安全性验证技术研究

Hits:

  • Leading Scientist:陈祖希

  • Supported by:福建省教育厅中青年教师教育科研项目

  • Supported by:福建省教育厅

  • Project level:市厅级

  • Project Number:JAT170041

  • Project Approval Number:JAT170041

  •

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