受賞

2013年9月

フェロー

電子情報通信学会
  • 米田友洋

タイトル
非同期式システムの設計および形式的検証への貢献