Application of Formal Methods to the Railway Signalling Systems

Natsuki TERADA, Mitsuyoshi FUKUDA
2002 Quarterly Report of RTRI  
doi:10.2219/rtriqr.43.169 fatcat:2rtd52gaqng3zmzeztwhoz23ze