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

Automatic Security Verification (keyword)

types of item

keyword 183

subject term 2