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. high level of security
90. Homeland security
91. human security
92. information security
93. information security and privacy
94. initial level of security
95. internal security
96. international security
97. investment and innovation security
98. IPv6 security
99. IT security
100. IT security management
101. job security
102. long-term security
103. maritime cyber security
104. maritime cyber security operations centers
105. Maritime Security Operations Center (M-SOC)
106. medium level of security
107. metadata model for security measures
108. Middle Eastern security
109. Mobile security
110. national cyber security strategy
111. national security
112. NATO. Science for Peace and Security Program
113. network security
114. network security monitoring
115. OSCE (Organization for Security and Co-operation in Europe)
116. passenger’s security
117. policy-based routing security
118. political and security cultures
119. post-quantum security
120. power system security
121. quantitative security
122. regional security
123. Safety and Security in Sea Transportation
124. safety and security testing
125. security
126. security adaptation
127. security alert prioritization
128. security analysis
129. security and justice (AFSJ)
130. Security and political science
131. security and privacy
132. security and privacy in smart grids
133. Security Assertion Mining
134. security closure
135. Security Coverage
136. security dataset
137. security dilemma
138. Security evaluation
139. security evaluation instruments
140. Security limitations
141. security log analysis
142. security management
143. security model
144. security monitoring
145. security notion
146. security objectives
147. security of data
148. security of supply
149. security operation center
150. security operations center
151. security patterns
152. security policy
153. security problem definition
154. security proof
155. security protocols
156. security requirements
157. security requirements engineering
158. security risk assessment
159. security risk management
160. security risks
161. security science and technology
162. security strategies
163. security systems for military objects
164. security testing
165. security training
166. security-by-design
167. social security planning
168. societal security
169. software security
170. software security level
171. software security subcharacteristics
172. sufficient level of security
173. system of economic security
174. system security
175. terrorism security
176. transmission System Security
177. voting privacy and security

Automatic Security Verification (keyword)

types of item

keyword 177

subject term 2