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