 | 2009 |
|---|
| 9 |       | 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 |
| 2007 |
|---|
| 8 | | Masayuki Matsumoto,
Keisuke Bekki:
Application of Assurance Technology for Railway Signaling System.
ISADS 2007: 69-76 |
| 2003 |
|---|
| 7 | | Kazuo Kera,
Keisuke Bekki,
Hideki Osumi,
Kinji Mori:
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System.
ISADS 2003: 266-273 |
| 2002 |
|---|
| 6 | | Kazuo Kera,
Keisuke Bekki,
Kinji Mori,
Issei Masumoto:
High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System.
HASE 2002: 79-86 |
| 5 | | Kazuo Kera,
Keisuke Bekki,
Kinji Mori:
Step-by-Step System Construction Technique with Assurance Technology -Evaluation Measure for Step-by-Step System Construction-.
ICDCS Workshops 2002: 101-110 |
| 2001 |
|---|
| 4 |  | 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- |
| 3 | | 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 |
| 1999 |
|---|
| 2 | | Fumio Kitahara,
Keiji Kamijou,
Yoshiaki Kakurai,
Keisuke Bekki,
Kazuo Kera,
Katsumi Kawano:
Phased-in Construction Method of ATOS (Autonomous Decentralized Transport Operation Control System).
ISADS 1999: 415- |
| 1991 |
|---|
| 1 | | Keisuke Bekki,
Tohru Nagai,
Nobuhiro Hamada,
Tsuguo Shimizu,
Noriharu Hiratsuka,
Kazumasa Shima:
An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition.
ICCAD 1991: 422-425 |
Data released under the ODC-BY 1.0 license — See also our legal information page