车载通信与动态导航系统 作者：祁晖，底晓强，杨华民，蒋振刚，王佳 著 出版时间：2017年版内容简介　　本书首先分析了动态车载导航系统的核心需求：地图显示、导航和路线规划，然后运用Event-B形式化建模方法对系统进行建模分析。在模型精化过程中，论述了相关数据结构及流程的建模方法。模型经过4次精化，实现了所有的核心需求。将每个精化模型导入Rodin平台，所生成的证明义务全部证明成功，表明该模型在理论上...

上一篇：高等学校交通运输与工程类专业规划教材 交通信息工程概论 崔建明等著 2018年版
下一篇：综合交通运输系统工程创新发展与论坛 张国伍 主编 2018年版