Keiji Kamijyo

According to our database, Keiji Kamijyo authored at least 3 papers between 2001 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

An assurance method for functional system expansion of Tokyo metropolitan railway system.

Keiji Kamijyo, Hiroshi Kawasaki, Taichi Arisawa, Keisuke Bekki, Hideki Osumi, Daisuke Yagyu

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

2001

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

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

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

Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001