news 自動車機能安全カンファレンス Posted on 2019年11月17日 下記の自動車機能安全カンファレンスで，SPARK/Adaによる形式検証の講演があります． 日時：2019年12月5日（木） 場所：御茶ノ水ソラシティカンファレンスセンター 詳細：https://academy.impre...