Login / Signup

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.

Huixing FangJianqi ShiHuibiao ZhuJian GuoKim Guldstrand LarsenAlexandre David
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases