2022.12.12
2022年12月7日~9日に開催された 「自動車機能安全カンファレンス2022オンライン」におきまして、 1323名の方に「形式検証による故障の影響伝搬検証の勧め」を聴講頂きました。 また、たくさんの方にオンライン展示にご来場頂きました。 誠にありがとうございました。 形式検証の実務への適用について引き続き情報発信して参ります。 ご期待ください。