Otsing - TalTech teadusportaal

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. independent verification and validation
19. model verification
20. model-based verification
21. power verification
22. program verification
23. Quantum state verification
24. reliability verification
25. safety verification
26. simple payment verification (SVP)
27. simulation-based verification
28. speaker verification
29. timing verification
30. validation and verification
31. verification
32. verification and validation
33. verification by model checking
34. verification methods
35. automatic AI (autoAI)
36. automatic assertion mining
37. automatic calibration
38. automatic clutch engagement
39. automatic code generation
40. automatic composition method
41. automatic control
42. automatic control systems
43. automatic controllers
44. automatic error correction
45. automatic evaluation
46. automatic fault diagnosis
47. automatic frequency control
48. Automatic generation control
49. automatic GUI model generation
50. Automatic identification system
51. automatic identification system (AIS)
52. automatic machine learning (autoML)
53. automatic model creation
54. automatic processing of solutions
55. automatic program synthesis
56. automatic programming
57. automatic speech recognition
58. automatic test case generation
59. automatic test pattern generation
60. automatic test program generation
61. automatic tide gauges
62. automatic weather stations
63. automatic voltage control
64. DLL for automatic calibration
65. Speaker-attributed automatic speech
66. ad-hoc sensor networks security
67. Blockchain security
68. cache security
69. cloud security
70. communication system security
71. comprehensive system of economic security
72. computer security
73. cooperative security dilemma
74. cyber security
75. cyber security education
76. cyber security exercises
77. cyber security monitoring
78. cyber security monitoring in maritime
79. cyber security strategies
80. cyber-physical system security
81. cyber-security
82. data and information security
83. data security
84. development of security cameras
85. digital security practices
86. drinking water security
87. economic security
88. economic security of enterprise
89. emotional security
90. energy security
91. energy security indicator
92. Estonian information security standard
93. graded security
94. hardware security
95. hardware security primitive
96. high level of security
97. Homeland security
98. human security
99. information security
100. information security and privacy
101. initial level of security
102. internal security
103. international security
104. investment and innovation security
105. IoT security
106. IPv6 security
107. IT security
108. IT security management
109. job security
110. LLM-based template detection from security event logs
111. LLMs for cyber security
112. long-term security
113. maritime cyber security
114. maritime cyber security operations centers
115. Maritime Security Operations Center (M-SOC)
116. medium level of security
117. metadata model for security measures
118. Middle Eastern security
119. Mobile security
120. national cyber security strategy
121. national security
122. NATO. Science for Peace and Security Program
123. network security
124. network security monitoring
125. OSCE (Organization for Security and Co-operation in Europe)
126. passenger’s security
127. policy-based routing security
128. political and security cultures
129. post-quantum security
130. power system security
131. quantitative security
132. regional security
133. safety and security in sea transportation
134. safety and security testing
135. security
136. security adaptation
137. security alert prioritization
138. security analysis
139. security and justice (AFSJ)
140. Security and political science
141. security and privacy
142. security and privacy in smart grids
143. Security Assertion
144. Security Assertion Mining
145. security closure
146. Security Coverage
147. security dataset
148. security dilemma
149. Security evaluation
150. security evaluation instruments
151. Security event log analysis
152. Security Level Evaluation
153. Security limitations
154. security log analysis
155. security management
156. security model
157. security monitoring
158. security notion
159. security objectives
160. security of data
161. security of supply
162. security operation center
163. security operations center
164. security patterns
165. security policy
166. security problem definition
167. security proof
168. security protocols
169. security requirements
170. security requirements engineering
171. security research
172. security risk assessment
173. security risk management
174. security risks
175. security science and technology
176. security strategies
177. security systems
178. security systems for military objects
179. security testing
180. security training
181. security-by-design
182. social security planning
183. societal security
184. software security
185. software security level
186. software security subcharacteristics
187. sufficient level of security
188. system of economic security
189. system security
190. terrorism security
191. transmission System Security
192. voting privacy and security

Automatic Security Verification (võtmesõna)

teaviku laadid

võtmesõna 192

märksõna 2