Shuji Kinoshita - オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク独立行政法人情報処理推進機構(IPA) ソフトウェア工学分野の先導的研究支援事業(RISE) - Research Projects