Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262 Author(s): Felipe A. da Silva, Ahmet C. Bagbaba, Said Hamdioui and Christian Sauer Download
