铁路联锁的建模和验证:追踪列车长度

菲利普·詹姆斯,法伦·莫勒,黄义恩(Hoang Nga Nguyen),马库斯·罗根巴赫,史蒂夫·施耐德,海伦·特雷哈恩铁路联锁的建模和验证:追踪列车长度计算机程序设计科学, 96:315-336,2014 [美国国防部]

摘要

缺少摘要。