Use of formal methods for verification and optimization of fault lists in the scope of ISO26262
vastutusandmed
Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian
ilmumiskoht
[s.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
6 p. : ill
konverentsi nimetus, aeg
2018 Design and Verification Conference (DVCON) Europe, 24.-25.10.2018
konverentsi toimumispaik
Munich, Germany
võtmesõna
märkused
Bibliogr.: 11 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.2
TTÜ struktuuriüksus
keel
inglise
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.