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