イベント
「ET & IoT Digital 2020~イノベーションの社会実装を加速させるエッジテクノロジー総合展」に本学が出展
11月16日(月)~12月18日(金)の期間、最新技術が集結する「ET & IoT Digital 2020」がオンライン開催されます。
本学からは高信頼IoT社会基盤研究拠点/セキュリティ・ネットワーク領域の青木 利晃教授らが以下の内容について出展します。
会 期 | 令和2年11月16日(月)~12月18日(金) |
展示内容 |
高信頼IoT社会基盤研究拠点 セキュリティ・ネットワーク領域 青木 利晃教授、冨田 尭講師 形式手法を活用したIoTシステム・車載システムの安全性・信頼性に関する検証技術を中心に、モデルベーステストツール、モデル検査応用技術、機械学習システムの検証技術などを、実際の産業界への応用例なども交え展示します。 |
詳細はこちらをご覧ください。