沖縄県石垣市で開催されたAsia Pacific Conference on Circuits and Systems (APCCAS) 2014 において、橋本が招待講演を行いました(2014/11/20)。本特別セッションは橋本が企画しました。
"Stochastic Verification of Run-time Performance Adaptation with Field Delay Testing"
京都大学情報学研究科/大阪大学情報科学研究科で行っている集積システム設計の研究活動を紹介します。