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
Location:
Europe
Year:
2018
Type:
Presentation
Format:
pdf