著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 森 昌也 and 中村 英夫,鉄道信号保安ソフトウェアの特徴と次世代OS(<特集>情報システムの信頼性・安全性),日本信頼性学会誌 信頼性,09192697,日本信頼性学会,2012,34,6,405-410,https://cir.nii.ac.jp/crid/1390282679429219840,https://doi.org/10.11348/reajshinrai.34.6_405