著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
加藤 淳 and 浦郷 正隆 and 狼 嘉彰,複雑システムの信頼性を向上させる開発手法--アーキテクチャ設計手法とモデル検査の融合,Synthesiology = 構成学,18826229,[つくば] : 産業技術総合研究所,2010-08,3,3,197-212,https://cir.nii.ac.jp/crid/1520009409868260736,