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. Speaker-attributed automatic speech
63. ad-hoc sensor networks security
64. Blockchain security
65. cache security
66. cloud security
67. communication system security
68. comprehensive system of economic security
69. computer security
70. cooperative security dilemma
71. cyber security
72. cyber security education
73. cyber security exercises
74. cyber security monitoring
75. cyber security strategies
76. cyber-security
77. data and information security
78. data security
79. development of security cameras
80. digital security practices
81. drinking water security
82. economic security
83. economic security of enterprise
84. emotional security
85. energy security
86. energy security indicator
87. Estonian information security standard
88. graded security
89. hardware security
90. hardware security primitive
91. high level of security
92. Homeland security
93. human security
94. information security
95. information security and privacy
96. initial level of security
97. internal security
98. international security
99. investment and innovation security
100. IPv6 security
101. IT security
102. IT security management
103. job security
104. long-term security
105. maritime cyber security
106. maritime cyber security operations centers
107. Maritime Security Operations Center (M-SOC)
108. medium level of security
109. metadata model for security measures
110. Middle Eastern security
111. Mobile security
112. national cyber security strategy
113. national security
114. NATO. Science for Peace and Security Program
115. network security
116. network security monitoring
117. OSCE (Organization for Security and Co-operation in Europe)
118. passenger’s security
119. policy-based routing security
120. political and security cultures
121. post-quantum security
122. power system security
123. quantitative security
124. regional security
125. Safety and Security in Sea Transportation
126. safety and security testing
127. security
128. security adaptation
129. security alert prioritization
130. security analysis
131. security and justice (AFSJ)
132. Security and political science
133. security and privacy
134. security and privacy in smart grids
135. Security Assertion
136. Security Assertion Mining
137. security closure
138. Security Coverage
139. security dataset
140. security dilemma
141. Security evaluation
142. security evaluation instruments
143. Security Level Evaluation
144. Security limitations
145. security log analysis
146. security management
147. security model
148. security monitoring
149. security notion
150. security objectives
151. security of data
152. security of supply
153. security operation center
154. security operations center
155. security patterns
156. security policy
157. security problem definition
158. security proof
159. security protocols
160. security requirements
161. security requirements engineering
162. security research
163. security risk assessment
164. security risk management
165. security risks
166. security science and technology
167. security strategies
168. security systems for military objects
169. security testing
170. security training
171. security-by-design
172. social security planning
173. societal security
174. software security
175. software security level
176. software security subcharacteristics
177. sufficient level of security
178. system of economic security
179. system security
180. terrorism security
181. transmission System Security
182. voting privacy and security

Automatic Security Verification (keyword)

types of item

keyword 182

subject term 2