Decomposing Automatic Train Control Verification System with Projection.

Jing Xu, Xiaohong Chen, Tingliang Zhou, Zhengheng Yuan, Kezhen Huang

Browse the full APSEC paper archive.