Tsuyoshi Suzuki, Takashi Kawano, Masayuki Matsumoto, Yoshihide Nagatsugu. Assurance Technology for Autonomous Decentralized Train Control System. In 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 22-26 June 2009, Montreal, Québec, Canada. pages 285-291, IEEE Computer Society, 2009. [doi]
Abstract is missing.