Masayuki Matsumoto. Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System. In 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy. pages 259-265, IEEE Computer Society, 2003. [doi]
Abstract is missing.