Searching - TalTech Research Portal

1. Automatic Security Verification
2. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3. automatic speaker verification
4. RISC-V Security Verification
5. security verification
6. assertion-based verification
7. Automata, Formal Verification
8. compliance verification
9. compositional verification
10. constraint random verification
11. deductive verification
12. extra-functional verification
13. forecast verification
14. formal verification
15. functional verification
16. grid verification
17. Hardware Verification
18. model verification
19. model-based verification
20. power verification
21. program verification
22. Quantum state verification
23. reliability verification
24. simple payment verification (SVP)
25. simulation-based verification
26. speaker verification
27. timing verification
28. validation and verification
29. verification
30. verification and validation
31. verification by model checking
32. verification methods
33. automatic AI (autoAI)
34. automatic assertion mining
35. automatic calibration
36. automatic clutch engagement
37. automatic code generation
38. automatic composition method
39. automatic control
40. automatic control systems
41. automatic controllers
42. automatic error correction
43. automatic evaluation
44. automatic fault diagnosis
45. Automatic generation control
46. automatic GUI model generation
47. Automatic identification system
48. automatic identification system (AIS)
49. automatic machine learning (autoML)
50. automatic model creation
51. automatic processing of solutions
52. automatic program synthesis
53. automatic programming
54. automatic speech recognition
55. automatic test case generation
56. automatic test pattern generation
57. automatic test program generation
58. automatic tide gauges
59. automatic weather stations
60. automatic voltage control
61. DLL for automatic calibration
62. ad-hoc sensor networks security
63. Blockchain security
64. cache security
65. communication system security
66. comprehensive system of economic security
67. computer security
68. cooperative security dilemma
69. cyber security
70. cyber security education
71. cyber security exercises
72. cyber security monitoring
73. cyber security strategies
74. cyber-security
75. data and information security
76. data security
77. development of security cameras
78. digital security practices
79. drinking water security
80. economic security
81. economic security of enterprise
82. emotional security
83. energy security
84. energy security indicator
85. Estonian information security standard
86. graded security
87. hardware security
88. hardware security primitive
89. Homeland security
90. human security
91. information security
92. information security and privacy
93. internal security
94. international security
95. investment and innovation security
96. IPv6 security
97. IT security
98. IT security management
99. job security
100. long-term security
101. metadata model for security measures
102. Middle Eastern security
103. Mobile security
104. national cyber security strategy
105. national security
106. NATO. Science for Peace and Security Program
107. network security
108. network security monitoring
109. OSCE (Organization for Security and Co-operation in Europe)
110. passenger’s security
111. policy-based routing security
112. political and security cultures
113. post-quantum security
114. power system security
115. quantitative security
116. regional security
117. Safety and Security in Sea Transportation
118. safety and security testing
119. security
120. security adaptation
121. security alert prioritization
122. security analysis
123. security and justice (AFSJ)
124. Security and political science
125. security and privacy
126. security and privacy in smart grids
127. Security Assertion Mining
128. security closure
129. Security Coverage
130. security dataset
131. security dilemma
132. Security evaluation
133. security evaluation instruments
134. Security limitations
135. security log analysis
136. security management
137. security model
138. security monitoring
139. security notion
140. security objectives
141. security of data
142. security of supply
143. security operation center
144. security operations center
145. security patterns
146. security policy
147. security problem definition
148. security proof
149. security protocols
150. security requirements
151. security requirements engineering
152. security risk assessment
153. security risk management
154. security risks
155. security science and technology
156. security strategies
157. security systems for military objects
158. security testing
159. security training
160. security-by-design
161. social security planning
162. societal security
163. system of economic security
164. system security
165. terrorism security
166. transmission System Security
167. voting privacy and security

Automatic Security Verification (keyword)

types of item

keyword 167

subject term 2