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
simulation-based verification (võtmesõna)
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..
(1/137)
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 ajakirjas
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
artikkel ajakirjas
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
137
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.
constraint random verification
14.
deductive verification
15.
extra-functional verification
16.
forecast verification
17.
formal verification
18.
functional verification
19.
grid verification
20.
Hardware Verification
21.
model verification
22.
power verification
23.
program verification
24.
Quantum state verification
25.
reliability verification
26.
RISC-V Security Verification
27.
security verification
28.
simple payment verification (SVP)
29.
speaker verification
30.
timing verification
31.
validation and verification
32.
verification
33.
verification and validation
34.
verification by model checking
35.
verification methods
36.
annual energy simulation
37.
back traced simulation
38.
building energy simulation
39.
building simulation
40.
casting simulation
41.
CFD simulation
42.
circuit simulation
43.
CoCoViLa simulation environment
44.
computer simulation
45.
computer simulation environments
46.
cooling simulation
47.
co-simulation
48.
data simulation
49.
digital real time simulation
50.
digital shipping simulation
51.
dynamic simulation
52.
electric field simulation
53.
emergency simulation
54.
energy simulation
55.
energy simulation software
56.
environmental performance assessment and simulation
57.
Fault Injection Simulation
58.
fault simulation
59.
fault simulation with critical path tracing
60.
finite element method (FEM) simulation
61.
finite element simulation
62.
fluid flow simulation
63.
FMS modelling and simulation
64.
fullscale simulation
65.
gait simulation
66.
hardware-in-the loop simulation
67.
Hardware-in-the-Loop simulation
68.
high-level fault simulation
69.
hospital simulation
70.
hot/cold pressing and finite element model simulation
71.
hygrothermal simulation
72.
impact scenario simulation
73.
impact-abrasive simulation
74.
intelligent simulation
75.
intelligent simulation environment
76.
LES (large eddy simulation) method
77.
logic models and simulation
78.
logic simulation
79.
long-term simulation
80.
magnetics field simulation
81.
Mathematical simulation
82.
MATLAB simulation
83.
medical simulation
84.
meso-scale simulation
85.
MICA2 simulation
86.
model building and simulation
87.
modeling and simulation
88.
modelling and simulation
89.
Monte Carlo simulation
90.
Monte Carlo simulation (MCS)
91.
multi agent simulation
92.
multiscale simulation
93.
Multi-valued Simulation for Hazard Detection in Digital Circuits
94.
numerical simulation
95.
Parallel Fault Simulation with Critical Path Backtracing
96.
parallel fault-simulation
97.
parallel simulation
98.
phase diagram simulation
99.
power system simulation
100.
process simulation
101.
ray-tracing simulation
102.
real time simulation
103.
real-time simulation
104.
register transfer and gate level simulation
105.
response simulation
106.
rheology simulation
107.
Siemens Tecnomatix Plant Simulation (STPS) platform
108.
signal simulation
109.
signal simulation and modeling
110.
similar material simulation test
111.
simulation
112.
simulation analysis
113.
simulation and analysis
114.
simulation applications
115.
simulation model
116.
simulation modeling
117.
simulation models
118.
simulation of air change
119.
simulation of energy consumption
120.
simulation software "Delphin"
121.
simulation trace
122.
simulation training
123.
spinach simulation
124.
SUMO simulation
125.
supply chain simulation
126.
system level simulation
127.
systems simulation
128.
TD-DFT simulation
129.
urban simulation
130.
validation of simulation model
131.
wear simulation
132.
vehicle simulation
133.
whole building simulation
134.
visual simulation
135.
3D simulation
136.
5G New Radio simulation
137.
(co-)simulation
×
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