 | 2009 |
| 3 |  | Keiji Kamijyo,
Hiroshi Kawasaki,
Taichi Arisawa,
Keisuke Bekki,
Hideki Osumi,
Daisuke Yagyu:
An assurance method for functional system expansion of Tokyo metropolitan railway system.
ISADS 2009: 135-140 |
| 2001 |
| 2 |  | Kazuo Kera,
Keisuke Bekki,
Keiji Kamijyo,
Kinji Mori:
Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network.
HASE 2001: 228- |
| 1 |  | Kazuo Kera,
Keisuke Bekki,
Naoki Miwa,
Fumio Kitahara,
Keiji Kamijyo,
Kazuya Seki:
Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems.
ISADS 2001: 85-92 |