Formal Verification and Simulation: Co-verification for Subway Control Systems.

Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi

Browse the full TASE paper archive.