Takanori Ambe

Development of a Smart Level Crossing System for Traffic Convenience

Akimasa Okada, Yamato Fukuta, Naoki Miyaguchi, 2015 .

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver

Akira Tanaka, Takashi Kunifuji, Yoshinao Isobe, 2019, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Study of Requirements Analysis Method for Signaling Safety Software Quality Improvement

Akimasa Okada, Yamato Fukuta, Manabu Teramoto, 2015 .

Development Of A Network Level Crossing System

Yamato Fukuta, Manabu Teramoto, Takanori Ambe, 2016 .