中文

基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究

Hits:

  • Supported by:卡斯柯信号有限公司

  • Nature of Project:Research Funded by Enterprises and Institutes for Citizens (Technology Development)

  • Supported by:Enterprises and institutions shall entrust scientific and technological projects

  • Project Number:20211HH264

  • Subsidy Amount(¥):20.0


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