プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」(IPA RISE制度による委託研究)終了

Post date: Jul 22, 2016 6:24:11 AM

プロジェクト「オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク」(IPA RISE制度による委託研究, 2014-06-02 - 2016-02-12)が終了し,成果報告書が公開されました.