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/96)
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 imaging
64. functional institutional analysis
65. functional ionic liquids
66. functional iteration
67. functional material
68. functional materials
69. functional models
70. functional morphology
71. functional polymer
72. functional power plants
73. functional power-plants
74. functional prediction
75. functional profiling
76. functional properties
77. functional reactive programming
78. functional recovery
79. functional requirements
80. functional safety
81. functional self-test
82. functional smoothie
83. Functional specialist in AI for public services
84. functional state of the muscles -tiredness
85. functional stress programs
86. functional test generation
87. functional trait diversity
88. functional-safety
89. high-level functional fault model
90. hybrid functional
91. mathematical structures in functional programming
92. non-robust and functional sensitization
93. non-robust and functional sensitization of delay faults
94. plant-functional types
95. size of functional groups
96. 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