Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network

Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori. Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. In 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings. pages 228, IEEE Computer Society, 2001.

Abstract

Abstract is missing.