Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu. Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. In 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011. pages 67-72, IEEE, 2011. [doi]
@inproceedings{LiuTLZX11,
title = {Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic},
author = {Yupeng Liu and Tao Tang and Jintao Liu and Lin Zhao and Tianhua Xu},
year = {2011},
doi = {10.1109/ISADS.2011.15},
url = {http://dx.doi.org/10.1109/ISADS.2011.15},
researchr = {https://researchr.org/publication/LiuTLZX11},
cites = {0},
citedby = {0},
pages = {67-72},
booktitle = {10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, Japan, March 23-17, 2011},
publisher = {IEEE},
isbn = {978-1-61284-213-4},
}