Keiji Kamijyo, Hiroshi Kawasaki, Taichi Arisawa, Keisuke Bekki, Hideki Osumi, Daisuke Yagyu. An assurance method for functional system expansion of Tokyo metropolitan railway system. In International Symposium on Autonomous Decentralized Systems (ISADS 2009), 23-25 March 2009, Athens, Greece. pages 135-140, IEEE, 2009. [doi]
Abstract is missing.