2015年10月 モデルに基づく統一的保証ケース作成手法の提案 人工知能学会 第17回知識流通ネットワーク研究会 山本 修一郎, 森崎 修司, 渥美 紀寿, 正田 稔 巻 2015 号 KSN-017 開始ページ 1 終了ページ 6 記述言語 日本語 掲載種別 機関テクニカルレポート,技術報告書,プレプリント等 出版者・発行元 人工知能学会 エクスポート BibTeX RIS