| 2003 |
|---|
| 7 | EE | Kazuo Kera,
Keisuke Bekki,
Hideki Osumi,
Kinji Mori:
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System.
ISADS 2003: 266- |
| 2002 |
|---|
| 6 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
