Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL.

Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen

Browse the full ISoLA paper archive.