Article citationsMore>>

Thapaliya, A., & Kwon, G. (2018). Realization of Combined Systemic Safety Analysis of Adverse Train Control System Using Model Checking. In J. Hung, N. Yen, & L. Hui (Eds.), Frontier Computing: Theory, Technologies and Applications (pp. 419-430). Springer.
https://doi.org/10.1007/978-981-13-3648-5_49

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top