Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems.

Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun

Browse the full ICSE paper archive.