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
Searching
My bookmarks
0
simulation-based verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/124)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF 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
journal article
Model-based verification with error localization and error correction for C designs
Repinski, Urmas
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
2012
/
p. 221-229 : ill
journal article
Number of records 1, displaying
1 - 1
keyword
124
1.
simulation-based verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
assertion-based verification
4.
model-based verification
5.
simulation based static optimization
6.
simulation based TMY
7.
simulationbased decision support
8.
Automata, Formal Verification
9.
Automatic Security Verification
10.
automatic speaker verification
11.
compliance verification
12.
compositional verification
13.
deductive verification
14.
extra-functional verification
15.
forecast verification
16.
formal verification
17.
functional verification
18.
grid verification
19.
Hardware Verification
20.
model verification
21.
power verification
22.
program verification
23.
reliability verification
24.
RISC-V Security Verification
25.
security verification
26.
simple payment verification (SVP)
27.
speaker verification
28.
timing verification
29.
validation and verification
30.
verification
31.
verification and validation
32.
verification by model checking
33.
verification methods
34.
annual energy simulation
35.
back traced simulation
36.
building energy simulation
37.
building simulation
38.
casting simulation
39.
CFD simulation
40.
circuit simulation
41.
CoCoViLa simulation environment
42.
computer simulation
43.
computer simulation environments
44.
cooling simulation
45.
co-simulation
46.
data simulation
47.
digital real time simulation
48.
dynamic simulation
49.
electric field simulation
50.
emergency simulation
51.
energy simulation
52.
energy simulation software
53.
environmental performance assessment and simulation
54.
Fault Injection Simulation
55.
fault simulation
56.
fault simulation with critical path tracing
57.
finite element method (FEM) simulation
58.
finite element simulation
59.
fluid flow simulation
60.
FMS modelling and simulation
61.
fullscale simulation
62.
gait simulation
63.
hardware-in-the loop simulation
64.
Hardware-in-the-Loop simulation
65.
high-level fault simulation
66.
hospital simulation
67.
hot/cold pressing and finite element model simulation
68.
hygrothermal simulation
69.
impact-abrasive simulation
70.
intelligent simulation
71.
intelligent simulation environment
72.
LES (large eddy simulation) method
73.
logic models and simulation
74.
logic simulation
75.
magnetics field simulation
76.
Mathematical simulation
77.
MATLAB simulation
78.
medical simulation
79.
meso-scale simulation
80.
MICA2 simulation
81.
modeling and simulation
82.
modelling and simulation
83.
Monte Carlo simulation
84.
Monte Carlo simulation (MCS)
85.
multi agent simulation
86.
multiscale simulation
87.
numerical simulation
88.
parallel fault-simulation
89.
parallel simulation
90.
phase diagram simulation
91.
power system simulation
92.
ray-tracing simulation
93.
real time simulation
94.
real-time simulation
95.
register transfer and gate level simulation
96.
response simulation
97.
rheology simulation
98.
signal simulation
99.
signal simulation and modeling
100.
similar material simulation test
101.
simulation
102.
simulation analysis
103.
simulation applications
104.
simulation model
105.
simulation modeling
106.
simulation models
107.
simulation of air change
108.
simulation of energy consumption
109.
simulation software "Delphin"
110.
simulation training
111.
spinach simulation
112.
SUMO simulation
113.
supply chain simulation
114.
systems simulation
115.
TD-DFT simulation
116.
urban simulation
117.
validation of simulation model
118.
wear simulation
119.
vehicle simulation
120.
whole building simulation
121.
visual simulation
122.
3D simulation
123.
5G New Radio simulation
124.
(co-)simulation
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT