MODELS 2021, Industry Daysにて発表 “Light-weight integration of MBSE and model-checking”

10月中旬、モデリングの国際カンファレンス MODELS 2021がオンライン開催され、世界各国から研究者やエンジニア、経営者(マネージャー)など460名を超える参加者が集まりました。今回のブログでは、Industry Daysでチェンジビジョンが実施した発表のスライド(英語)をご紹介します。