Jidong Lv, Ehsan Ahmad, Tao Tang. Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON. IEEE Intell. Transport. Syst. Mag., 13(3):58-82, 2021. [doi]
@article{LvAT21,
title = {Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON},
author = {Jidong Lv and Ehsan Ahmad and Tao Tang},
year = {2021},
doi = {10.1109/MITS.2019.2953536},
url = {https://doi.org/10.1109/MITS.2019.2953536},
researchr = {https://researchr.org/publication/LvAT21},
cites = {0},
citedby = {0},
journal = {IEEE Intell. Transport. Syst. Mag.},
volume = {13},
number = {3},
pages = {58-82},
}