委員歴

2015年9月

オーガナイザ

湘南会議 "Validated Numerics Meets Reachability Analysis for CPS Design"