Modeling and Verification of an Automatic Train Protection System.

Xijiao Xiong, Jing Liu, Miaomiao Zhang, Zuohua Ding

Browse the full COMPSAC paper archive.