Kazuo Kera, Masayuki Shoji, Tokuro Igarashi, Akio Ando, Kinji Mori. Assurance technology for large transport operation control system. In Qingquan Qian, editor, 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005, Chengdu, China, April 4-8, 2005, Proceedings. pages 250-258, IEEE, 2005. [doi]
Abstract is missing.