Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Test and Verification Solutions (publisher)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(3/216)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
zamiaCAD : shall we dance?
Jenihhin, Maksim
Open Source Tools for Verification : DVClub 14 January 2013
2013
/
1 p
book article
Number of records 1, displaying
1 - 1
keyword
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
subject term
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)
TalTech subject term
1
1.
HexTech Solutions
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT