プレスリリース・ニュースリリース配信サービスのPR TIMES

自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始

2025年8月5日 11時30分 イミロン 　　 　　

自動運転の安全性を“証明”するT2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始

2025年8月5日 11時00分 株式会社T2