Bingqing Xu, Lichen Zhang. Specification of Train Control Systems Using Formal Methods. In James J. Park, Hojjat Adeli, Namje Park, Isaac Woungang, editors, Mobile, Ubiquitous, and Intelligent Computing - MUSIC 2013, FTRA 4th International Conference on Mobile, Ubiquitous, and Intelligent Computing, September 4-6, 2013, Gwangju, Korea. Volume 274 of Lecture Notes in Electrical Engineering, pages 131-136, Springer, 2013. [doi]
Abstract is missing.