TY  - RPRT
TI  - Online Verification of Control Parameter Calculations in Communication Based Train Control System
AU  - Lei Bu
AU  - Xin Chen
AU  - Linzhang Wang
AU  - Xuandong Li
PY  - 2011
UR  - https://arxiv.org/abs/1101.4271
ID  - 1101.4271
ER  -