木下 修司

平塚市地域防災計画の整合性検査方式の研究 

平塚市 共同研究 

オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク 

独立行政法人 情報処理推進機構(IPA) ソフトウェア工学分野の先導的研究支援事業(RISE)