ニュース・イベント

イベント

「ET & IoT Digital 2020~イノベーションの社会実装を加速させるエッジテクノロジー総合展」に本学が出展

 11月16日(月)~12月18日(金)の期間、最新技術が集結する「ET & IoT Digital 2020」がオンライン開催されます。
 本学からは高信頼IoT社会基盤研究拠点/セキュリティ・ネットワーク領域青木 利晃教授らが以下の内容について出展します。

会 期 令和2年11月16日(月)~12月18日(金)
展示内容
高信頼IoT社会基盤研究拠点
セキュリティ・ネットワーク領域 青木 利晃教授、冨田 尭講師

形式手法を活用したIoTシステム・車載システムの安全性・信頼性に関する検証技術を中心に、モデルベーステストツール、モデル検査応用技術、機械学習システムの検証技術などを、実際の産業界への応用例なども交え展示します。

詳細はこちらをご覧ください。

PAGETOP