Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems.

Kazuo Kera, Keisuke Bekki, Naoki Miwa, Fumio Kitahara, Keiji Kamijyo, Kazuya Seki

Browse the full ISADS paper archive.