2021年2月18日に本研究室の土屋教授，中川准教授がOACIS技術座談会で講演を行いました．内容は以下の通りです
内容 ・研究室での研究 ・モデル検査の基礎と自己適応システムへの応用 ・モデル検査の基本概念，ツール，応用事例 ・自己適応システムとモデル検査の応用
