Use of Formal Methods for verification and optimization of Fault Lists in the scope of ISO26262

Author(s):
Felipe Augusto da Silva, Ahmet Cagri Bagbaba, Said Hamdioui, and Christian Sauer
Location:
Europe
Year:
2018
Type:
Paper
Format:
pdf