2014年6月 - 2016年2月 オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク 独立行政法人 情報処理推進機構(IPA) ソフトウェア工学分野の先導的研究支援事業(RISE) 木下 佳樹 資金種別 競争的資金 研究助手（RA）として参加 リンク情報 URLhttps://www.ipa.go.jp/sec/rise/index.html#03-1
