1. 中国城市轨道交通发展简史； 2. 城市轨道交通的发展与组成； 3. 国产化列控系统的演进。
已有189人学习
运用形式化方法对AUTOSAR OS及其应用进行了建模与分析，对提高基于AUTOSAR OS开发的汽车电子软件的安全性、可靠性具有一定的促进作用。同时，系统模型的建立，能增强软件开发工程师对系统的理解，为基于模型的开发提供了便利。
已有428人学习
中国城市轨道交通发展简史及国产化列控系统演进
基于AUTOSAR的汽车电子操作系统及其应用的建模与分析
已完成
数据加载中
