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]
No references recorded for this publication.
No citations of this publication recorded.