PCサイトを見る

ニュース・イベント

イベント

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)

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

PAGETOP