イベント
11月17日（水）～19日（金）「ET & IoT 2021」に本学が出展
11月17日（水）～19日（金）の3日間、パシフィコ横浜（神奈川県横浜市西区みなとみらい）において、最新技術が集結する「ET & IoT 2021 エッジテクノロジーは次なるステージへ〜産業DXを実現する要素技術と応用分野のすべてがココに〜」が開催されます。
本学からは先端科学技術研究科／セキュリティ・ネットワーク領域の青木 利晃教授が以下の内容について出展します。
ご来場の際はぜひお立ち寄りください。
| 日 時 | 令和3年11月17日（水）～11月19日（金） 10時00分～17時00分 |
| 会 場 | パシフィコ横浜（神奈川県横浜市西区みなとみらい1-1-1） |
| 展示内容 |
先端科学技術研究科 セキュリティ・ネットワーク領域 青木 利晃教授 本学では、情報科学、知識科学、マテリアルサイエンスに関する多くの研究を実施していますが、本展示では、形式手法・形式検証グループ（青木研究室・石井研究室・冨田研究室）による研究成果を紹介します。本グループでは、形式手法・形式検証の実践応用に関する研究を実施しており、形式手法を活用したIoTシステム・車載システムの安全性・信頼性に関する検証技術を中心に、モデルベーステストツール、モデル検査応用技術、機械学習システムの検証技術などを、実際の産業界への応用例なども交え展示します。 【展示概要】 https://f2ff.jp/etexpo/2021/exhibitors/detail.php?id=904&lang=ja |
| ブース番号 | CM17（University Pavilion） |
詳細はこちらをご覧ください。
