Assurance technology for large transport operation control system.

Kazuo Kera, Masayuki Shoji, Tokuro Igarashi, Akio Ando, Kinji Mori

Browse the full ISADS paper archive.