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/385)
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
383
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 methods
257.
model-scale experiments
258.
modified winding function‐based model
259.
modulated finite control set-model predictive control
260.
multi model ensemble (MME)
261.
multiagent-based microscopic traffic assignment model (MMTAM)
262.
multidomain language model
263.
multi-loop model reference control
264.
multiplicative neuron model
265.
multi-pole mathematical model
266.
multi-pole model
267.
multi-pole model design
268.
natural background model
269.
Neyman-Pearson model
270.
NKG2015 geoid model
271.
NN-ANARX model
272.
nonlinear model identification
273.
nonlinear model predictive control
274.
nonlinear time-varying factor model
275.
non-thermal model
276.
Nonthermal model
277.
NSPT model
278.
object model
279.
ocean-sea-ice model
280.
open architecture model
281.
open-economy dynamic general equilibrium model
282.
openEHR RM (Reference Model)
283.
optimal model
284.
panel threshold model
285.
panel vector autoregressive model (VAR)
286.
parallel reaction model
287.
path loss model
288.
Peirce’s triadic model
289.
Peirce's model
290.
photodiode model
291.
PLM maturity model
292.
plume model
293.
POM model
294.
population balance model
295.
Porter’s diamond model
296.
power loss model
297.
power market model
298.
prediction model
299.
predictive model
300.
pre-trained model
301.
price-sensitive model of flexible equipment
302.
Princeton Ocean Model
303.
Probabilistic Graph Model (PGM)
304.
probabilistic model
305.
process model
306.
Quadruple Helix Model
307.
recurrent neural network language model
308.
reduced order model
309.
reference model
310.
regression based model
311.
reputation model
312.
residential electricity consumption model
313.
Residual Terrain Model (RTM) anomaly
314.
residual terrain model anomaly
315.
retaining research financing, changes in salary rules; new academic career model
316.
Reynolds stress turbulence model
317.
Richardson Maturity Model
318.
risk evaluation model
319.
risk evaluation model development
320.
risk management model
321.
scalar model
322.
Scott-Kennel model
323.
security model
324.
shared mental model
325.
SHEL model
326.
ship model basin
327.
simplified model
328.
simulating waves nearshore (SWAN) model
329.
simulation model
330.
simulink model
331.
Simultaneous model-based optimization
332.
single-cell model
333.
sliding model control
334.
small-signal model
335.
SOILN model
336.
specific energy model
337.
standard cost model
338.
statistical model residuals
339.
Storm Water Management Model (SWMM5)
340.
Straussian theory model
341.
structural model
342.
stuck-at fault model
343.
supply chain model framework
344.
supply chain operations reference (SCOR) model
345.
sustainability model framework
346.
SWAN model
347.
Zimbabwe agro-pastoral management model
348.
ZIP model
349.
zonal model
350.
teaching model
351.
technology acceptance model
352.
Technology Acceptance Model (TAM)
353.
tender evaluation model
354.
test model design
355.
The Baltic Sea Model Intercomparison Project (BMIP)
356.
the model of non-technical competences
357.
thermal model
358.
tobit regression model
359.
trade gravity model
360.
transnational model
361.
transport model
362.
transportation model
363.
tunnelling‐percolation model
364.
turn model
365.
two-dimensional model
366.
two-factor model
367.
Ulrich HR roles model
368.
ultralocal model (ULM) control
369.
Uppaal model-checker
370.
user behavioral model
371.
user dialogue model
372.
utility model
373.
validation of simulation model
374.
value-centric model
375.
wave model
376.
Vector Error Correction Model
377.
vector space model
378.
Wells-Riley model
379.
whole-cell model
380.
Viable Systems Model
381.
wind force model
382.
VRH model
383.
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