Ehsan Ahmad, Yunwei Dong, Brian R. Larson, Jidong Lü, Tao Tang, Naijun Zhan. Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL. Science in China Series F: Information Sciences, 58(11):1-20, 2015. [doi]
@article{AhmadDLLTZ15,
title = {Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL},
author = {Ehsan Ahmad and Yunwei Dong and Brian R. Larson and Jidong Lü and Tao Tang and Naijun Zhan},
year = {2015},
doi = {10.1007/s11432-015-5346-2},
url = {http://dx.doi.org/10.1007/s11432-015-5346-2},
researchr = {https://researchr.org/publication/AhmadDLLTZ15},
cites = {0},
citedby = {0},
journal = {Science in China Series F: Information Sciences},
volume = {58},
number = {11},
pages = {1-20},
}