Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
OKANO Kozo and OKAMOTO Keishi and OGATA Shinpei,On the Utilitiy of Combined Application of STAMP/STPA and Model Checking to Single Track Railroad Crossing,The Journal of Reliability Engineering Association of Japan,09192697,Reliability Engineering Association of Japan,2019,41,2,89-95,https://cir.nii.ac.jp/crid/1390290958089355136,https://doi.org/10.11348/reajshinrai.41.2_89