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

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

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