Efficient formalization of railway interlocking data in RailML

Mark Bosschaart, Egidio Quaglietta, Bob Janssen, Rob M. P. Goverde. Efficient formalization of railway interlocking data in RailML. Inf. Syst., 49:126-141, 2015. [doi]

Abstract

Abstract is missing.