Masayuki Matsumoto, Tadao Tsurumaki, Dai Watanabe, Kinji Mori. Modeling of Train Control System and a Method of Assurance Evaluation. In 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW 02) July 2-5, 2002, Vienna, Austria, Proceedings. pages 89-94, IEEE Computer Society, 2002. [doi]
Abstract is missing.