Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.

Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu

Browse the full ISADS paper archive.