Verification and Implementation of the Protocol Standard in Train Control System.

Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun

Browse the full COMPSAC paper archive.