著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
大神 茂之 and 清水 亮 and 越村 三幸 and 川村 正 and 藤田 博 and 長谷川 隆三,鉄道信号システムのモデル検査器SPINによる検証,九州大学大学院システム情報科学紀要,13423819,九州大学大学院システム情報科学研究院,2005-03-25,10,1,33-38,https://cir.nii.ac.jp/crid/1390853649773698304,https://doi.org/10.15017/1516058