Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. - Pan Yang 015; Rin Karashima; Kozo Okano; Shinpei Ogata (KES, 2019)

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. - Kozo Okano; Pan Yang 015; Shinpei Ogata; Keishi Okamoto (KES, 2020)