2018 年度年次報告書

形式手法を用いたデータ駆動階層型管理システムの設計

研究課題

体系的番号	JPMJMI18B4
DOI	https://doi.org/10.52926/JPMJMI18B4
研究代表者	潮俊光大阪大学, 大学院基礎工学研究科, 教授
研究期間 (年度)	2018 – 2019 (予定)
研究領域	超スマート社会の実現「サイバー世界とフィジカル世界を結ぶモデリングとAI」