Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Automatic Security Verification (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/160)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Processor vulnerability detection with the aid of assertions : RISC-V case study
Heidari Iman, Mohammad Reza
;
Ahmadi-Pour, Sallar
;
Drechsler, Rolf
;
Ghasempouri, Tara
techrxiv.org
2024
/
p. 1-8 : ill
https://doi.org/10.36227/techrxiv.172101134.45466090/v1
artikkel ajakirjas
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
158
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.
deductive verification
11.
extra-functional verification
12.
forecast verification
13.
formal verification
14.
functional verification
15.
grid verification
16.
Hardware Verification
17.
model verification
18.
model-based verification
19.
power verification
20.
program verification
21.
reliability verification
22.
simple payment verification (SVP)
23.
simulation-based verification
24.
speaker verification
25.
timing verification
26.
validation and verification
27.
verification
28.
verification and validation
29.
verification by model checking
30.
verification methods
31.
automatic AI (autoAI)
32.
automatic assertion mining
33.
automatic calibration
34.
automatic clutch engagement
35.
automatic code generation
36.
automatic composition method
37.
automatic control
38.
automatic control systems
39.
automatic controllers
40.
automatic error correction
41.
automatic evaluation
42.
automatic fault diagnosis
43.
Automatic generation control
44.
automatic GUI model generation
45.
Automatic identification system
46.
automatic identification system (AIS)
47.
automatic machine learning (autoML)
48.
automatic model creation
49.
automatic processing of solutions
50.
automatic program synthesis
51.
automatic programming
52.
automatic speech recognition
53.
automatic test case generation
54.
automatic test pattern generation
55.
automatic test program generation
56.
automatic tide gauges
57.
automatic weather stations
58.
automatic voltage control
59.
DLL for automatic calibration
60.
ad-hoc sensor networks security
61.
Blockchain security
62.
cache security
63.
communication system security
64.
comprehensive system of economic security
65.
computer security
66.
cooperative security dilemma
67.
cyber security
68.
cyber security education
69.
cyber security exercises
70.
cyber security monitoring
71.
cyber security strategies
72.
cyber-security
73.
data security
74.
development of security cameras
75.
drinking water security
76.
economic security
77.
economic security of enterprise
78.
emotional security
79.
energy security
80.
energy security indicator
81.
Estonian information security standard
82.
graded security
83.
hardware security
84.
hardware security primitive
85.
human security
86.
information security
87.
internal security
88.
international security
89.
investment and innovation security
90.
IPv6 security
91.
IT security
92.
IT security management
93.
job security
94.
long-term security
95.
metadata model for security measures
96.
Middle Eastern security
97.
Mobile security
98.
national cyber security strategy
99.
national security
100.
NATO. Science for Peace and Security Program
101.
network security
102.
network security monitoring
103.
OSCE (Organization for Security and Co-operation in Europe)
104.
passenger’s security
105.
policy-based routing security
106.
political and security cultures
107.
post-quantum security
108.
power system security
109.
quantitative security
110.
regional security
111.
safety and security testing
112.
security
113.
security adaptation
114.
security alert prioritization
115.
security analysis
116.
security and justice (AFSJ)
117.
Security and political science
118.
security and privacy
119.
security and privacy in smart grids
120.
Security Assertion Mining
121.
security closure
122.
Security Coverage
123.
security dataset
124.
security dilemma
125.
Security evaluation
126.
security evaluation instruments
127.
security log analysis
128.
security management
129.
security model
130.
security monitoring
131.
security notion
132.
security objectives
133.
security of data
134.
security of supply
135.
security operation center
136.
security operations center
137.
security patterns
138.
security policy
139.
security problem definition
140.
security proof
141.
security protocols
142.
security requirements
143.
security requirements engineering
144.
security risk assessment
145.
security risk management
146.
security risks
147.
security strategies
148.
security systems for military objects
149.
security testing
150.
security training
151.
security-by-design
152.
social security planning
153.
societal security
154.
system of economic security
155.
system security
156.
terrorism security
157.
transmission System Security
158.
voting privacy and security
märksõna
2
1.
National Computer Security Incident Response Teams (N-CSIRTs)
2.
USS Security Eesti AS
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT