A formal framework for the safe design of the Autonomous Driving supervision

Autor: Cuer, Romain, Piétrac, Laurent, Niel, Eric, Diallo, Saidou, Minoiu-Enache, Nicoleta, Dang-Van-Nhan, Christophe
Zdroj: In Reliability Engineering and System Safety June 2018 174:29-40
Databáze: ScienceDirect