Lichen Zhang. Specifying and Modeling Railway Cyber Physical Systems by the Extension of AADL. In IEEE 16th International Conference on Computational Science and Engineering, CSE 2013, 3-5 December, 2013, Sydney, Australia. pages 611-618, IEEE, 2013. [doi]
Abstract is missing.