• 简体   /   繁体
汽车电子控制系统安全设计的形式化验证-时代汽车2024年19期

汽车电子控制系统安全设计的形式化验证

作者:李泽华 字体:      

摘 要:汽车电子控制系统已成为现代汽车的核心组成部分,因此,深入研究汽车电子控制系统安全设计和验证方法有助于提高车辆安全性能,增强车辆竞争力。本文阐述了汽车电子控制系统安全性的重要性,探讨了当前汽车电子(试读)...

时代汽车

2024年第19期