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