安全性を数学的証明――自動運転の本格普及へ
Mathematical Proofs for Safe Automated Driving
- 提供方法
- 本サイト上にてダウンロード・閲覧可
- 形態
- 価格
- 一般価格(税込):¥1,100 会員価格(税込):¥880
- 文献番号
- 20244254
- 文献・情報種別
- 会誌「自動車技術」
Vol.78 No.4
- 掲載ページ
- 102-104(Total 3 p)
- 発行年月
- 2024年 4月
- 出版社
- (公社)自動車技術会
- 言語
- 日本語
書誌事項
カテゴリ | 超の世界 |
---|---|
カテゴリ(英) | Essay 翻訳 |
著者 | 1) 蓮尾 一郎 |
著者(英) | 1) Ichiro Hasuo |
勤務先 | 1) 国立情報学研究所 |
抄録 | 安全性を数学的証明――自動運転の本格普及へ |