Research Projects
基于“故障-安全”模型的联锁安全需求形式化建模与验证技术研究
- 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
