著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
岡本 勝幸,ETIひろしま<BR>Embedded software Technology Initiative,SEC journal,13498622,独立行政法人 情報処理推進機構 ソフトウェア高信頼化センター,2010,6,3,154-157,https://cir.nii.ac.jp/crid/1390282680242081920,https://doi.org/10.11186/secjournal.6.154