Otsing - TalTech teadusportaal

Formal (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

ekspordi kõik päringu tulemused (1)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Use of formal methods for verification and optimization of fault lists in the scope of ISO26262Augusto da Silva, Felipe; Bagbaba, Ahmet Cagri; Hamdioui, Said; Sauer, Christian2018 Design and Verification Conference (DVCON) Europe : [proceedings]2018 / 6 p. : ill https://repository.tudelft.nl/islandora/object/uuid%3Adbd7f22d-0324-45f5-9180-8fe3fc95a9ce

artikkel kogumikus
Seotud publikatsioonid 1
- Methods to optimize functional safety assessment for automotive integrated circuits = Meetodid autotööstuse kiipide funktsionaalse ohutuse hindamise optimeerimiseks

Kirjeid leitud 1, kuvan 1 - 1