铁路安全和容量的正式建模 作者：Chris Ritson 电子书下载

原名:Formal Modelling of Railway Safety and Capacity by Chris Ritson
作品简介:未来铁路系统的开发需要严格的自动化建模，并使用许多英国车站的布局进行评估。基本的安全机制是路线锁定和保持（见图1）。……