イベント
11月16日（水）～18日（金）「EdgeTech+ 2022」に本学が出展
11月16日（水）～18日（金）の3日間、パシフィコ横浜（神奈川県横浜市西区みなとみらい）において、最新技術が集結する「EdgeTech+ 2022 ～事業変革を推進するための最新技術とつながる総合展～」が開催されます。
本学からは先端科学技術研究科／次世代デジタル社会基盤研究領域の青木 利晃教授が以下の内容について出展します。
ご来場の際はぜひお立ち寄りください。
| 日 時 | 令和4年11月16日（水）～11月18日（金） 10：00～17：00 ※11月17日（木）のみ18：00まで |
| 会 場 | パシフィコ横浜（神奈川県横浜市西区みなとみらい1-1-1） |
| 展示内容 |
先端科学技術研究科 次世代デジタル社会基盤研究領域 青木 利晃教授 本展示では、本学の形式手法・形式検証グループ（青木研究室・石井研究室・冨田研究室）による研究成果を紹介します。本グループでは、形式手法・形式検証の実践応用に関する研究を実施しており、形式手法を活用したIoTシステム・車載システムの安全性・信頼性に関する検証技術を中心に、モデルベーステストツール、モデル検査応用技術、機械学習システムの検証技術などを、実際の産業界への応用例なども交え展示します。 【展示概要】 https://f2ff.jp/etexpo/2022/exhibitors/detail.php?id=1283&lang=ja |
| ブース番号 | C-J15 （ユニバーシティパビリオン） |
詳細はこちらをご覧ください。
