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
model 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..
(2/388)
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
book article
Model verification for analysis of wind power impact to transient stability in isolated power system using combined relay protection and dynamics modelling approach
Maripuu, Rain
;
Tsernobrovkin, Oleg
;
Palu, Ivo
;
Kilter, Jako
PQ2012 : 8th International Conference : 2012 Electric Power Quality and Supply Reliability : June 11-13, 2012, Tartu, Estonia : conference proceedings
2012
/
p. 169-174 : ill
https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6256222
book article
Number of records 1, displaying
1 - 1
keyword
386
1.
model verification
2.
model-based verification
3.
verification by model checking
4.
assertion-based verification
5.
Automata, Formal Verification
6.
automatic speaker verification
7.
compliance verification
8.
compositional verification
9.
deductive verification
10.
extra-functional verification
11.
forecast verification
12.
formal verification
13.
functional verification
14.
grid verification
15.
Hardware Verification
16.
power verification
17.
program verification
18.
reliability verification
19.
security verification
20.
simple payment verification (SVP)
21.
simulation-based verification
22.
speaker verification
23.
timing verification
24.
validation and verification
25.
verification
26.
verification and validation
27.
verification methods
28.
acoustic model
29.
adjusted DuPont model
30.
agent-based model
31.
analysis model
32.
analytical lumped parameter model
33.
analytical model
34.
analytical thermal model approach
35.
APARHC model
36.
APICS competence model
37.
armature current model
38.
asymmetric model
39.
attack model
40.
automatic GUI model generation
41.
automatic model creation
42.
Bass model
43.
Bayesian model averaging
44.
beyond standard model
45.
bicycle model
46.
business model
47.
business model archetypes
48.
business model attributes
49.
business model canvas
50.
business model classification
51.
business model generation
52.
business model innovation
53.
Business Model Innovation (BMI)
54.
business model reconfiguration
55.
business model research
56.
business network model
57.
Caco2 model cells
58.
Capability Maturity Model Integration for Development
59.
cartesian system model
60.
CERC model
61.
chain model
62.
channel model
63.
charging planning model
64.
Coalitional game model
65.
communication model
66.
compact empirical model
67.
company analyze model
68.
competence model
69.
competency model
70.
Comprehensive Situation Awareness Model
71.
conceptual data model
72.
conceptual model
73.
conceptual model of curriculum for accounting specialization
74.
condenser model
75.
constitutive model
76.
Context model
77.
corrosion model
78.
country analysis model
79.
coupled coils model
80.
crop model
81.
data generative model
82.
data quality maturity model
83.
decentralized model predictive control
84.
deep learning model
85.
default company model
86.
design model
87.
design-driven business model
88.
designing a teaching model
89.
detailed model
90.
didactic model
91.
digital surface model (DSM)
92.
disease model
93.
distributed activation energy model
94.
Dodd–Deeds model
95.
domain model
96.
domain model and domain modelling
97.
dq0 model
98.
DSGE model
99.
DSL meta-model ontology
100.
Ducoffe’s advertisement value model
101.
Ducoffe’s advertising model
102.
dynamic factor model
103.
dynamic model
104.
Dynamical vegetation model
105.
Ecological Regional Ocean Model (ERGOM)
106.
economic model
107.
Economic optimization model
108.
EES model
109.
EES Model-2
110.
elaboration likelihood model
111.
electricity demand model
112.
Electronic Education System Model-2
113.
empirical energy consumption model
114.
empirical model
115.
end member mixing model
116.
endogenous growth model
117.
energy system model
118.
enzyme-constrained genome-scale model
119.
enterprise analysis model (EAM)
120.
entrepreneurial intention transformation model “EITM”
121.
equivalent circuit model
122.
Eringen model
123.
Estonian sustainability model
124.
Eulerian model
125.
European Charring Model
126.
EV load model
127.
Event Processing Network Model
128.
experience pyramid model
129.
Experimental model
130.
explainable AI model
131.
exponential load model
132.
exponential model
133.
fault analysis model
134.
Felder-Silverman model
135.
FEM-model
136.
field tests model validation
137.
finite control set-model predictive control (FCS-MPC)
138.
finite element model
139.
finite-element (FE) model
140.
finite-element model
141.
fire design model
142.
fixed country-effect model
143.
FOPDT model
144.
friction model
145.
functional fault model
146.
fuzzy logic model
147.
gaussian mixture model
148.
Gaussian model
149.
genome model
150.
Genome-scale metabolic model
151.
geoid model
152.
GIS model
153.
Global climate model
154.
goal model
155.
gravity model
156.
grey box model
157.
GTAP model
158.
GUI model
159.
habitat model
160.
habitat suitability model
161.
Hammerstein-Wiener model
162.
HBM model
163.
Hidden Markov Model (HMM)
164.
high-frequency model
165.
high-level control fault model
166.
high-level fault model
167.
high-level functional fault model
168.
HIROMB-BOOS-Model (HBM)
169.
HL7 Version 3: Reference Information Model (RIM)
170.
holistic M&A model
171.
holistic merger and acquisition model
172.
hot/cold pressing and finite element model simulation
173.
hydraulic model
174.
hydraulic network model
175.
hydrodynamic model
176.
Ice history model
177.
inductive model
178.
input-output model
179.
integrated quadruple instructional model
180.
integrated waste management model
181.
integrative pedagogy model
182.
interpretive structural model (ISM)
183.
Jiles–Atherton (JA) model
184.
joint model
185.
Kano model
186.
KPI selection model
187.
KPIs selection model
188.
laboratory domain model
189.
Lagrangian model
190.
logistic model
191.
logistics competence model
192.
loss model
193.
LSV model
194.
lumped model
195.
lumped-parameter model
196.
Machine Learning Explainable model
197.
machine-learning predictive model
198.
MACRO model
199.
Markov-switching model
200.
mathematical model
201.
maturity model
202.
measurement model
203.
mental model
204.
metadata model for security measures
205.
meta-model
206.
MGARCH model
207.
microscopic traffic flow model
208.
model
209.
model amphipathic peptide
210.
model averaging
211.
model based testing
212.
model building
213.
model calibration
214.
model checking
215.
model communities
216.
model compression
217.
model construction
218.
model description
219.
Model Driven Architecture
220.
model driven engineering
221.
model ensemble
222.
model evaluation
223.
model identification
224.
model learning
225.
model matching problem
226.
model of fracture mechanism
227.
model of fracturemechanism
228.
model of friction
229.
model of non-technical engineering competences
230.
model order estimation
231.
model order reduction
232.
model order reduction (MOR)
233.
model predictive control
234.
model predictive control (MPC)
235.
model reanalysis
236.
model reduction
237.
model reference adaptive control
238.
model reference controller
239.
model refinement
240.
model smell
241.
Model test
242.
model transformation
243.
model transformations
244.
Model validation
245.
model-based control
246.
model-based development
247.
Model-Based Engineering (MBE)
248.
model-based mutation testing
249.
model-based patterns
250.
model-based software development
251.
Model-Based Systems Engineering (MBSE)
252.
model-based testing
253.
model-checking
254.
model-driven design
255.
model-driven development
256.
model-free control
257.
model-free methods
258.
model-scale experiments
259.
modified winding function‐based model
260.
modulated finite control set-model predictive control
261.
multi model ensemble (MME)
262.
multiagent-based microscopic traffic assignment model (MMTAM)
263.
multidomain language model
264.
multi-loop model reference control
265.
multiplicative neuron model
266.
multi-pole mathematical model
267.
multi-pole model
268.
multi-pole model design
269.
natural background model
270.
Neyman-Pearson model
271.
NKG2015 geoid model
272.
NN-ANARX model
273.
nonlinear model identification
274.
nonlinear model predictive control
275.
nonlinear time-varying factor model
276.
non-thermal model
277.
Nonthermal model
278.
NSPT model
279.
object model
280.
ocean-sea-ice model
281.
open architecture model
282.
open-economy dynamic general equilibrium model
283.
openEHR RM (Reference Model)
284.
optimal model
285.
panel threshold model
286.
panel vector autoregressive model (VAR)
287.
parallel reaction model
288.
path loss model
289.
Peirce’s triadic model
290.
Peirce's model
291.
photodiode model
292.
PLM maturity model
293.
plume model
294.
POM model
295.
population balance model
296.
Porter’s diamond model
297.
power loss model
298.
power market model
299.
prediction model
300.
predictive model
301.
pre-trained model
302.
price-sensitive model of flexible equipment
303.
Princeton Ocean Model
304.
Probabilistic Graph Model (PGM)
305.
probabilistic model
306.
process model
307.
Quadruple Helix Model
308.
recurrent neural network language model
309.
reduced order model
310.
reference model
311.
regression based model
312.
reputation model
313.
residential electricity consumption model
314.
Residual Terrain Model (RTM) anomaly
315.
residual terrain model anomaly
316.
retaining research financing, changes in salary rules; new academic career model
317.
Reynolds stress turbulence model
318.
Richardson Maturity Model
319.
risk evaluation model
320.
risk evaluation model development
321.
risk management model
322.
scalar model
323.
Scott-Kennel model
324.
security model
325.
shared mental model
326.
SHEL model
327.
ship model basin
328.
simplified model
329.
simulating waves nearshore (SWAN) model
330.
simulation model
331.
simulink model
332.
Simultaneous model-based optimization
333.
single-cell model
334.
sliding model control
335.
small-signal model
336.
SOILN model
337.
specific energy model
338.
standard cost model
339.
statistical model residuals
340.
Storm Water Management Model (SWMM5)
341.
Straussian theory model
342.
structural model
343.
stuck-at fault model
344.
supply chain model framework
345.
supply chain operations reference (SCOR) model
346.
surrogate model
347.
sustainability model framework
348.
SWAN model
349.
Zimbabwe agro-pastoral management model
350.
ZIP model
351.
zonal model
352.
teaching model
353.
technology acceptance model
354.
Technology Acceptance Model (TAM)
355.
tender evaluation model
356.
test model design
357.
The Baltic Sea Model Intercomparison Project (BMIP)
358.
the model of non-technical competences
359.
thermal model
360.
tobit regression model
361.
trade gravity model
362.
transnational model
363.
transport model
364.
transportation model
365.
tunnelling‐percolation model
366.
turn model
367.
two-dimensional model
368.
two-factor model
369.
Ulrich HR roles model
370.
ultra-local model
371.
ultralocal model (ULM) control
372.
Uppaal model-checker
373.
user behavioral model
374.
user dialogue model
375.
utility model
376.
validation of simulation model
377.
value-centric model
378.
wave model
379.
Vector Error Correction Model
380.
vector space model
381.
Wells-Riley model
382.
whole-cell model
383.
Viable Systems Model
384.
wind force model
385.
VRH model
386.
3D model
subject term
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
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