Download
保証ケース作成支援方式の研究成果
本研究は,独立行政法人情報処理推進機構 技術本部 ソフトウェア高信頼化センター(SEC: Software Reliability Enhancement Center)が実施した「2015 年度ソフトウェア工学分野の先導的研究支援事業」の支援を受けたものです.
本研究は,独立行政法人情報処理推進機構 技術本部 ソフトウェア高信頼化センター(SEC: Software Reliability Enhancement Center)が実施した「2015 年度ソフトウェア工学分野の先導的研究支援事業」の支援を受けたものです.