Pan Yang

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Experimental Study

First Order Logic

Hough Transform

Top Venues

Publications

Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES (2020)
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. KES (2019)