Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

reliability verification (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (1/49)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Towards multidimensional verification : where functional meets non-functionalJenihhin, Maksim; Lai, Xinhui; Ghasempouri, Tara; Raik, Jaan2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore2018 / 7 p. : ill https://doi.org/10.1109/NORCHIP.2018.8573495

book article
Seotud publikatsioonid 1
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2

journal article EST / journal article ENG

Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 2
- A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid

Number of records 2, displaying 1 - 2

1. reliability verification
2. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3. assertion-based verification
4. Automata, Formal Verification
5. Automatic Security Verification
6. automatic speaker verification
7. compliance verification
8. compositional verification
9. deductive verification
10. extra-functional verification
11. forecast verification
12. formal verification
13. functional verification
14. grid verification
15. Hardware Verification
16. model verification
17. model-based verification
18. power verification
19. program verification
20. RISC-V Security Verification
21. security verification
22. simple payment verification (SVP)
23. simulation-based verification
24. speaker verification
25. timing verification
26. validation and verification
27. verification
28. verification and validation
29. verification by model checking
30. verification methods
31. cross-layer reliability
32. engineering reliability operational probabilities
33. framework of reliability estimation
34. high reliability leadership
35. high reliability management
36. high reliability organizations
37. materials reliability
38. Network reliability
39. power system reliability
40. process reliability
41. reliability
42. reliability analysis
43. Reliability engineering
44. reliability optimization
45. reliability prediction
46. semiconductor device reliability
47. soft-error reliability
48. substation reliability
49. system reliability

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu