Enhancing the Formal Verification of Train Control Systems based on Decomposition.

Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun

Browse the full COMPSAC paper archive.