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/121)
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
121
1.
simulation-based verification
2.
assertion-based verification
3.
model-based verification
4.
simulation based static optimization
5.
simulation based TMY
6.
simulationbased decision support
7.
Automata, Formal Verification
8.
automatic speaker verification
9.
compliance verification
10.
compositional verification
11.
deductive verification
12.
extra-functional verification
13.
forecast verification
14.
formal verification
15.
functional verification
16.
grid verification
17.
Hardware Verification
18.
model verification
19.
power verification
20.
program verification
21.
reliability verification
22.
security verification
23.
simple payment verification (SVP)
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.
annual energy simulation
32.
back traced simulation
33.
building energy simulation
34.
building simulation
35.
casting simulation
36.
CFD simulation
37.
circuit simulation
38.
CoCoViLa simulation environment
39.
computer simulation
40.
computer simulation environments
41.
cooling simulation
42.
co-simulation
43.
data simulation
44.
digital real time simulation
45.
dynamic simulation
46.
electric field simulation
47.
emergency simulation
48.
energy simulation
49.
energy simulation software
50.
environmental performance assessment and simulation
51.
Fault Injection Simulation
52.
fault simulation
53.
fault simulation with critical path tracing
54.
finite element method (FEM) simulation
55.
finite element simulation
56.
fluid flow simulation
57.
FMS modelling and simulation
58.
fullscale simulation
59.
gait simulation
60.
hardware-in-the loop simulation
61.
Hardware-in-the-Loop simulation
62.
high-level fault simulation
63.
hospital simulation
64.
hot/cold pressing and finite element model simulation
65.
hygrothermal simulation
66.
impact-abrasive simulation
67.
intelligent simulation
68.
intelligent simulation environment
69.
LES (large eddy simulation) method
70.
logic models and simulation
71.
logic simulation
72.
magnetics field simulation
73.
Mathematical simulation
74.
MATLAB simulation
75.
medical simulation
76.
meso-scale simulation
77.
MICA2 simulation
78.
modeling and simulation
79.
modelling and simulation
80.
Monte Carlo simulation
81.
Monte Carlo simulation (MCS)
82.
multi agent simulation
83.
multiscale simulation
84.
numerical simulation
85.
parallel fault-simulation
86.
parallel simulation
87.
phase diagram simulation
88.
power system simulation
89.
ray-tracing simulation
90.
real time simulation
91.
real-time simulation
92.
register transfer and gate level simulation
93.
response simulation
94.
rheology simulation
95.
signal simulation
96.
signal simulation and modeling
97.
similar material simulation test
98.
simulation
99.
simulation analysis
100.
simulation applications
101.
simulation model
102.
simulation modeling
103.
simulation models
104.
simulation of air change
105.
simulation of energy consumption
106.
simulation software "Delphin"
107.
simulation training
108.
spinach simulation
109.
SUMO simulation
110.
supply chain simulation
111.
systems simulation
112.
TD-DFT simulation
113.
urban simulation
114.
validation of simulation model
115.
wear simulation
116.
vehicle simulation
117.
whole building simulation
118.
visual simulation
119.
3D simulation
120.
5G New Radio simulation
121.
(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