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 publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

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

export all inquiry results (2)
Save TXT 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
Related publications 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
Related publications 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. constraint random verification
10. deductive verification
11. extra-functional verification
12. forecast verification
13. formal verification
14. functional verification
15. grid verification
16. Hardware Verification
17. independent verification and validation
18. model verification
19. model-based verification
20. power verification
21. program verification
22. Quantum state verification
23. RISC-V Security Verification
24. safety verification
25. security verification
26. simple payment verification (SVP)
27. simulation-based verification
28. speaker verification
29. timing verification
30. validation and verification
31. verification
32. verification and validation
33. verification by model checking
34. verification methods
35. cross-layer reliability
36. engineering reliability operational probabilities
37. framework of reliability estimation
38. hardware reliability
39. high reliability
40. high reliability leadership
41. high reliability management
42. high reliability organizations
43. materials reliability
44. Network reliability
45. power reliability
46. power system reliability
47. process reliability
48. reliability
49. reliability analysis
50. reliability assessment
51. reliability assessment and enhancement
52. Reliability engineering
53. reliability evaluation
54. reliability optimization
55. reliability prediction
56. reliability-performance trade-off
57. semiconductor device reliability
58. soft-error reliability
59. substation reliability
60. system reliability

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu