Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

extra-functional 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/92)
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
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. extra-functional verification
2. functional verification
3. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4. extra entropy flux
5. extra-trees classifier
6. extra-tropical cyclones
7. assertion-based verification
8. Automata, Formal Verification
9. Automatic Security Verification
10. automatic speaker verification
11. compliance verification
12. compositional verification
13. deductive verification
14. forecast verification
15. formal verification
16. grid verification
17. Hardware Verification
18. model verification
19. model-based verification
20. power verification
21. program verification
22. reliability verification
23. RISC-V Security Verification
24. security verification
25. simple payment verification (SVP)
26. simulation-based verification
27. speaker verification
28. timing verification
29. validation and verification
30. verification
31. verification and validation
32. verification by model checking
33. verification methods
34. cross-functional teams
35. density functional calculations
36. density functional theory
37. density functional theory (DFT)
38. FIM (functional independence measure)
39. FIM + FAM (functional assessment measure)
40. functional diversity
41. functional approximation
42. functional biomaterials
43. functional BIST
44. functional capacity of cooperation
45. functional capacity of integration
46. functional complexes
47. functional components
48. functional connectivity
49. functional data analysis
50. functional derating
51. functional de-rating
52. functional dispersion
53. functional diversity
54. functional equivalence principle
55. Functional Failure Rate (FFR)
56. functional fault model
57. functional food
58. functional gene analysis
59. functional groups
60. functional institutional analysis
61. functional ionic liquids
62. functional iteration
63. functional material
64. functional materials
65. functional models
66. functional morphology
67. functional polymer
68. functional power plants
69. functional power-plants
70. functional prediction
71. functional profiling
72. functional properties
73. functional reactive programming
74. functional recovery
75. functional requirements
76. functional safety
77. functional self-test
78. functional smoothie
79. Functional specialist in AI for public services
80. functional state of the muscles -tiredness
81. functional stress programs
82. functional test generation
83. functional trait diversity
84. functional-safety
85. high-level functional fault model
86. hybrid functional
87. mathematical structures in functional programming
88. non-robust and functional sensitization
89. non-robust and functional sensitization of delay faults
90. plant-functional types
91. size of functional groups
92. time-dependent density functional theory (TD-DFT)

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