自動車機能安全カンファレンス

下記の自動車機能安全カンファレンスで，SPARK/Adaによる形式検証の講演があります．

• 日時：2019年12月5日（木）
• 場所：御茶ノ水ソラシティカンファレンスセンター
• 詳細：https://academy.impress.co.jp/event/afsc201912/timetable-day1.html