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
Test and Verification Solutions (kirjastus/väljaandja)
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..
(3/216)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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 kogumikus
zamiaCAD : shall we dance?
Jenihhin, Maksim
Open Source Tools for Verification : DVClub 14 January 2013
2013
/
1 p
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
206
1.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2.
assertion-based verification
3.
Automata, Formal Verification
4.
Automatic Security Verification
5.
automatic speaker verification
6.
compliance verification
7.
compositional verification
8.
constraint random verification
9.
deductive verification
10.
extra-functional verification
11.
forecast verification
12.
formal verification
13.
functional verification
14.
grid verification
15.
Hardware Verification
16.
model verification
17.
model-based verification
18.
power verification
19.
program verification
20.
Quantum state verification
21.
reliability verification
22.
RISC-V Security Verification
23.
security 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.
air distribution solutions
34.
analytical and numerical solutions
35.
analytical solutions
36.
automatic processing of solutions
37.
carbide solid solutions
38.
cellulose solutions
39.
complex geometrical optics solutions
40.
data-exchange solutions
41.
dialysis solutions
42.
digital solutions
43.
durable solutions
44.
export of ICT solutions
45.
ICT-based service solutions for senior citizens
46.
maritime solutions
47.
metadata management solutions
48.
microbiome-based solutions
49.
nature-based solutions
50.
nature-based solutions (NBSs)
51.
nZEB prefabricated modular renovation solutions
52.
numerical solutions
53.
optimal renovation solutions
54.
Pareto-optimal solutions
55.
power electronics solutions
56.
safer lighting solutions
57.
smart solutions
58.
smart workplace solutions
59.
social digital solutions
60.
solid solutions
61.
solutions
62.
stategically important ICT solutions
63.
thermal solutions
64.
accelerated shelf-life test
65.
adaptive test strategy generation
66.
antigen test
67.
Applications in Test Engineering
68.
ASTM G65 dry sand rubber wheel abrasion test
69.
Automated Synthesis of Software-based Self-test
70.
automated test environment
71.
automated test pattern generation
72.
automatic test case generation
73.
automatic test pattern generation
74.
automatic test program generation
75.
Auvergne test-bed
76.
battery test
77.
behavioral test
78.
behaviour level test generation
79.
bending test
80.
bit-error rate test
81.
Board and System Test
82.
board test
83.
bounds test
84.
built-in self-test
85.
capillary condensation redistribution test
86.
chi-square test
87.
closed bottle test
88.
cognitive screening test
89.
compartment fire test
90.
compartment test
91.
cone penetration test (CPT)
92.
COVID-19 antigen test
93.
cutting test
94.
cybersecurity test bed
95.
DDR4 interconnect test
96.
design and test
97.
design-for-test
98.
deterministic test sequences
99.
diagnostic test
100.
digital test
101.
Digital test and testable design
102.
double-pulse test
103.
drawing test
104.
dry droplet antimicrobial test
105.
embedded test
106.
fan pressurisation test
107.
final test result prediction
108.
four-point bending test
109.
FPGA based test
110.
FPGA-Assisted Test
111.
FPGA-centric test
112.
functional self-test
113.
functional test generation
114.
Granger causality test
115.
hardness test
116.
Hierarchical Multi-level Test Generation
117.
high-level synthesis for test
118.
high-level test data generation
119.
highlevel test generation
120.
high-speed serial link test
121.
IEEE 9 bus test system
122.
implementation-independent test generation
123.
in situ tensile test in SEM
124.
industrial field test
125.
in-situ tensile test in SEM
126.
Johansen cointegration test
127.
Kolmogorov-Smirnov test
128.
load test
129.
logic built-in self-test
130.
Luria alternating series test
131.
Mann–Kendall test
132.
Mann-Kendall trend test
133.
memory interconnect test
134.
microprocessor test
135.
Model test
136.
multiplier test
137.
offline test generation
138.
orthogonal test
139.
package test analysis
140.
parallel design and test
141.
performance test
142.
piezocone penetration test (CPTu)
143.
Point Load Test index
144.
pressurisation test
145.
processor-centric board test
146.
progressive damage test
147.
provably correct test generation
148.
pseudo-exhaustive test
149.
purity test
150.
real-time room temperature test
151.
rolling thin film oven test
152.
rtioco-based timed test sequences
153.
seasonal Mann Kendall test
154.
seismic piezocone penetration test
155.
self-test
156.
self-test architectures
157.
sentence writing test
158.
serial sevens test
159.
ship towing test tank
160.
similar material simulation test
161.
small-scale fire test
162.
small‐scale test
163.
software based self-test
164.
software-based self-test
165.
software-based self-test (SBST)
166.
soil phosphorus (P) test
167.
standard test method
168.
static load test
169.
static-dynamic probing test (SDT)
170.
stress test
171.
system level test
172.
teaching design and test of systems
173.
tensile test
174.
tensile test
175.
test
176.
test and evaluation platform
177.
test automation
178.
test bench
179.
test coverage
180.
test driven development
181.
test driven modelling
182.
test embankment
183.
test equipment
184.
test generation
185.
test generation and fault diagnosis
186.
Test Group Generation for Detecting Multiple Faults
187.
test groups
188.
test model design
189.
test optimization
190.
test packets
191.
test path synthesis
192.
test patterns
193.
test point insertion
194.
test program generation
195.
test reference year
196.
test replication
197.
test scenario description language
198.
test-bed
199.
test-chips
200.
test-house
201.
test-pattern
202.
test-suite reduction
203.
Three-point bending test
204.
unit root test
205.
usability platform test
206.
1995 ECC benchmark test
märksõna
9
1.
Defsecintel Solutions
2.
Eurora Solutions
3.
HexTech Solutions OÜ
4.
OÜ Ubik Solutions
5.
Protecthum Solutions
6.
Smart Load Solutions
7.
Ubik Solutions
8.
European Test Symposium (ETS)
9.
16PF (test)
TTÜ märksõna
1
1.
HexTech Solutions
×
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