研究会・全国大会等
[1] 金川 太俊, "組込みシステムにおける外部環境分析と形式手法の適用," 第9回 組込みシステム技術に関するサマーワークショップ SWEST9, ポスター発表, pages 61-64, 2007年.