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