文档预览： 形式化方法 Formal Methods (1) ·裘宗燕 ·北京大学数学学院 ·2010年3-6月... 例如： – 交通工具（汽车、飞机等）的控制系统 – 交通指挥调度控制系统，自动化运输... 点击下载

文档预览： 《交通工程学》的地位与作用 航空、轨道、水运、道路运输 交通工程学的基本概念 运... 长安大学（赵恩棠、张树声、严宝杰、周伟）；北京工业大学（肖秋生、任福田、刘小明... 点击下载