【AdaCore ウェビナー申込ページ】
【開催ウェビナー名】
形式検証手法を用いてソフトウェアの安全性、信頼性を向上、JTEKT社の電動パワステへの形式検証SPARK Pro応用事例のご紹介
【開催日時】
日時:2021年6月30日(水) 14:00-14:45
以下ご記入の上、登録ボタンを押してください。
形式検証手法を用いてソフトウェアの安全性、信頼性を向上、JTEKT社の電動パワステへの形式検証SPARK Pro応用事例のご紹介
日時:2021年6月30日(水) 14:00-14:45
以下ご記入の上、登録ボタンを押してください。