Use of formal methods for verification and optimization of fault lists in the scope of ISO26262
statement of authorship
Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian
location of publication
[s.l.]
publisher
year of publication
pages
6 p. : ill
conference name, date
2018 Design and Verification Conference (DVCON) Europe, 24.-25.10.2018
conference location
Munich, Germany
notes
Bibliogr.: 11 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
classifier
3.2
Augusto da Silva, F., Bagbaba, A. C., Hamdioui, S., Sauer, C. Use of formal methods for verification and optimization of fault lists in the scope of ISO26262 // 2018 Design and Verification Conference (DVCON) Europe : [proceedings]. [s.l.] : Accellera Systems Initiative, 2018. 6 p. : ill.