快速阅读: 近日,开源智能驾驶操作系统微内核龘EasyAda V2.3与开源安全车控操作系统小满EasyXMen V25.10新版本发布,采用形式化验证技术和多核多分区架构,提升系统安全性和性能,推动智能网联汽车发展。 在全球汽车产业迈向“ […]