著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
寺田 夏樹,VDMの紹介と鉄道信号への適用例(<特集>情報システムの信頼性・安全性),日本信頼性学会誌 信頼性,09192697,日本信頼性学会,2012,34,6,384-389,https://cir.nii.ac.jp/crid/1390001204452514560,https://doi.org/10.11348/reajshinrai.34.6_384