@techreport{weko_190419_1,
   author	 = "楊,盼 and 辛島,凛 and 岡野,浩三 and 小形,真平",
   title	 = "STAMP/STPAの鉄道踏切「とりこ検知」例題に対するモデル検査適用と考察",
   year 	 = "2018",
   institution	 = "信州大学工学部, 信州大学工学部, 信州大学工学部, 信州大学工学部",
   number	 = "6",
   month	 = "jul"
}