自動運転トラック認可へ新手法、T2とイミロンが数学的安全論証で協業 1枚目の写真・画像

プレミアム ビジネス

自動運転車の安全性を形式手法と数学的証明によって厳密に立証
《写真提供 T2》 自動運転車の安全性を形式手法と数学的証明によって厳密に立証

アクセスランキング

  1. トヨタ『ハリアー』次期型はプレミアムSUVに進化!? RAV4、クラウンとの差別化どうなる?
  2. 次期スズキ『ソリオ』は“走り”で逆襲! 新世代HEV採用で2027年以降登場か?
  3. 【トヨタ RAV4 新型試乗】約270kmのドライブで気になったのは「わずか1点のみ」だった
  4. テインのスズキ『エブリイワゴン』向け車高調、ローダウン2モデル・リフトアップ1モデルを一挙発売
  5. 【プジョー 308SW GTハイブリッド 新型試乗】“新顔”になってスッキリ、ワゴンながら走りの良さに感心…島崎七生人
  6. 斬新すぎるホンダの電動二輪『EV アウトライヤー・コンセプト』が世界的デザイン賞に
  7. 日産『キックス』新型にアウトドア仕様の「ROCK CREEK」12月発売へ…348万5900円から
  8. スズキ『スペーシアカスタム』の快適性、ステアフィールを改善!テインのフルスペック車高調「フレックスZ」発売
  9. “王者”トヨタの次の一手、『ヤリス』次期型は2027年登場か
  10. 【フィアット 600 新型試乗】イタリアのクロスオーバーは、日本の道に似合うのか?…岩貞るみこ
ランキングをもっと見る