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