Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"Ben, Yan and Masahide, Nakamura and LydieduBousquet and Ken-ichiMatsumoto",Validating Safety for the Integrated Services of the Home Network System Using JML,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2008-06-15,49,6,1751-1762,https://cir.nii.ac.jp/crid/1050282812857978368,