Search the dblp DataBase
Keisuke Bekki :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kazuo Kera , Keisuke Bekki , Keiji Kamijyo , Kinji Mori Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network. [Citation Graph (0, 0)][DBLP ] HASE, 2001, pp:228-0 [Conf ] Kazuo Kera , Keisuke Bekki , Kinji Mori , Issei Masumoto High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. [Citation Graph (0, 0)][DBLP ] HASE, 2002, pp:79-86 [Conf ] Keisuke Bekki , Tohru Nagai , Nobuhiro Hamada , Tsuguo Shimizu , Noriharu Hiratsuka , Kazumasa Shima An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. [Citation Graph (0, 0)][DBLP ] ICCAD, 1991, pp:422-425 [Conf ] Kazuo Kera , Keisuke Bekki , Kinji Mori Step-by-Step System Construction Technique with Assurance Technology -Evaluation Measure for Step-by-Step System Construction-. [Citation Graph (0, 0)][DBLP ] ICDCS Workshops, 2002, pp:101-110 [Conf ] Fumio Kitahara , Keiji Kamijou , Yoshiaki Kakurai , Keisuke Bekki , Kazuo Kera , Katsumi Kawano Phased-in Construction Method of ATOS (Autonomous Decentralized Transport Operation Control System). [Citation Graph (0, 0)][DBLP ] ISADS, 1999, pp:415-0 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ISADS, 2001, pp:85-92 [Conf ] Kazuo Kera , Keisuke Bekki , Hideki Osumi , Kinji Mori Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System. [Citation Graph (0, 0)][DBLP ] ISADS, 2003, pp:266-0 [Conf ] Search in 0.001secs, Finished in 0.001secs