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

Automatic Security Verification (keyword)

types of item

keyword 185

subject term 2