Ming Chai, Haifeng Wang, Tao Tang 0004, Hongjie Liu. Runtime verification of train control systems with parameterized modal live sequence charts. Journal of Systems and Software, 177:110962, 2021. [doi]
@article{ChaiWTL21,
title = {Runtime verification of train control systems with parameterized modal live sequence charts},
author = {Ming Chai and Haifeng Wang and Tao Tang 0004 and Hongjie Liu},
year = {2021},
doi = {10.1016/j.jss.2021.110962},
url = {https://doi.org/10.1016/j.jss.2021.110962},
researchr = {https://researchr.org/publication/ChaiWTL21},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {177},
pages = {110962},
}