Conference paper Open Access

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

Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian


BibTeX Export

@proceedings{augusto_da_silva_felipe_2018_3361533,
  title        = {{Use of Formal Methods for verification and 
                   optimization of Fault Lists in the scope of
                   ISO26262}},
  year         = 2018,
  publisher    = {Zenodo},
  month        = oct,
  doi          = {10.5281/zenodo.3361533},
  url          = {https://doi.org/10.5281/zenodo.3361533}
}
18
16
views
downloads
All versions This version
Views 1818
Downloads 1616
Data volume 8.8 MB8.8 MB
Unique views 1515
Unique downloads 1414

Share

Cite as