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
Advanced search
My bookmarks
0
model verification (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/471)
Export
export all inquiry results
(1)
Save TXT 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
469
1.
model verification
2.
model-based verification
3.
verification by model checking
4.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
5.
assertion-based verification
6.
Automata, Formal Verification
7.
Automatic Security Verification
8.
automatic speaker verification
9.
compliance verification
10.
compositional verification
11.
constraint random verification
12.
deductive verification
13.
extra-functional verification
14.
forecast verification
15.
formal verification
16.
functional verification
17.
grid verification
18.
Hardware Verification
19.
power verification
20.
program verification
21.
Quantum state verification
22.
reliability verification
23.
RISC-V Security Verification
24.
security verification
25.
simple payment verification (SVP)
26.
simulation-based verification
27.
speaker verification
28.
timing verification
29.
validation and verification
30.
verification
31.
verification and validation
32.
verification methods
33.
accrual-based credit risk model
34.
acoustic model
35.
additive color model
36.
adjusted DuPont model
37.
agent-based model
38.
Allen-Cahn Chan-Vese model
39.
alternative model
40.
analysis model
41.
analytical lumped parameter model
42.
analytical model
43.
analytical thermal model approach
44.
APARHC model
45.
APICS competence model
46.
ARIMA model
47.
armature current model
48.
as-built model
49.
asymmetric model
50.
attack model
51.
automatic GUI model generation
52.
automatic model creation
53.
Bass model
54.
Bayesian model averaging
55.
Bertotti model
56.
beyond standard model
57.
bicycle model
58.
blockiotintelligence architectural model
59.
Bouguer potential model
60.
business model
61.
business model archetypes
62.
business model attributes
63.
business model canvas
64.
business model classification
65.
business model generation
66.
business model innovation
67.
Business Model Innovation (BMI)
68.
business model reconfiguration
69.
business model research
70.
business network model
71.
Caco2 model cells
72.
Capability Maturity Model Integration for Development
73.
cartesian system model
74.
casual probabilistic model
75.
CERC model
76.
chain model
77.
channel model
78.
charging planning model
79.
Coalitional game model
80.
communication model
81.
compact empirical model
82.
compact model
83.
company analyze model
84.
competence model
85.
competency model
86.
Comprehensive Situation Awareness Model
87.
conceptual data model
88.
conceptual model
89.
conceptual model of curriculum for accounting specialization
90.
condenser model
91.
constitutive model
92.
Context model
93.
corrosion model
94.
country analysis model
95.
coupled coils model
96.
crop model
97.
cross-city model transfer
98.
data generative model
99.
data quality maturity model
100.
data-driven model
101.
decentralized model predictive control
102.
deep learning model
103.
deep learning model quantization
104.
default company model
105.
design model
106.
design-driven business model
107.
designing a teaching model
108.
detailed model
109.
didactic model
110.
diffusion model
111.
digital elevation model
112.
digital surface model (DSM)
113.
disease model
114.
distributed activation energy model
115.
distributed parameter model
116.
distributed parameter model of metastructures
117.
Dodd–Deeds model
118.
domain model
119.
domain model and domain modelling
120.
double diamond model
121.
dq0 model
122.
DSGE model
123.
DSL meta-model ontology
124.
Ducoffe’s advertisement value model
125.
Ducoffe’s advertising model
126.
dynamic factor model
127.
dynamic load model
128.
dynamic model
129.
Dynamical vegetation model
130.
Ecological Regional Ocean Model (ERGOM)
131.
economic model
132.
Economic optimization model
133.
EES model
134.
EES Model-2
135.
elaboration likelihood model
136.
ELAQF Competence Model
137.
electricity demand model
138.
Electronic Education System Model-2
139.
empirical energy consumption model
140.
empirical model
141.
end member mixing model
142.
endogenous growth model
143.
end-to-end model-based system
144.
energy system model
145.
enzyme-constrained genome-scale model
146.
enterprise analysis model (EAM)
147.
entrepreneurial intention transformation model “EITM”
148.
equivalent circuit model
149.
Eringen model
150.
Estonian sustainability model
151.
Eulerian model
152.
European Charring Model
153.
EV load model
154.
Event Processing Network Model
155.
experience pyramid model
156.
Experimental model
157.
explainable AI model
158.
exponential load model
159.
exponential model
160.
fault analysis model
161.
Felder-Silverman model
162.
FEM model
163.
FEM-model
164.
field tests model validation
165.
finite control set-model predictive control (FCS-MPC)
166.
finite cycle-based model predictive control
167.
finite element model
168.
finite-element (FE) model
169.
finite-element model
170.
fire design model
171.
FitzHugh-Nagumo model
172.
fixed country-effect model
173.
FOPDT model
174.
friction model
175.
functional fault model
176.
fuzzy logic model
177.
gaussian mixture model
178.
Gaussian model
179.
General Estuarine Transport Model (GETM)
180.
generative diffusion model
181.
genome model
182.
Genome-scale metabolic model
183.
geoid model
184.
GIS model
185.
Global climate model
186.
goal model
187.
gravity model
188.
grey box model
189.
GTAP model
190.
GUI model
191.
habitat model
192.
habitat suitability model
193.
Hammerstein-Wiener model
194.
HBM model
195.
Hidden Markov Model (HMM)
196.
high-frequency model
197.
high-level control fault model
198.
high-level fault model
199.
high-level functional fault model
200.
HIROMB-BOOS-Model (HBM)
201.
HL7 Version 3: Reference Information Model (RIM)
202.
holistic M&A model
203.
holistic merger and acquisition model
204.
hot/cold pressing and finite element model simulation
205.
hydraulic model
206.
hydraulic network model
207.
hydrodynamic model
208.
Ice history model
209.
inductive model
210.
information model
211.
information model-based urban planning
212.
infringer model
213.
initial data model
214.
input-output model
215.
integrated quadruple instructional model
216.
integrated waste management model
217.
integrative pedagogy model
218.
interpretive structural model (ISM)
219.
iron losses 3D model
220.
Jiles–Atherton (JA) model
221.
Johnson–Cook failure model
222.
joint model
223.
Kano model
224.
KPI selection model
225.
KPIs selection model
226.
laboratory domain model
227.
Lagrangian model
228.
Land Administration Domain Model (LADM)
229.
large language model (LLM)
230.
linear Delta robots neural network based model
231.
local interpretable model-agnostic explanations (LIME)
232.
local model
233.
logistic model
234.
logistic regression model
235.
logistics competence model
236.
loss model
237.
LSV model
238.
lumped model
239.
lumped parameter model
240.
lumped-parameter model
241.
Luxemburg model
242.
Machine Learning Explainable model
243.
machine-learning predictive model
244.
MACRO model
245.
Markov model
246.
Markov-switching model
247.
mathematical model
248.
maturity model
249.
measurement model
250.
mental model
251.
meta model
252.
metadata model for security measures
253.
meta-model
254.
MGARCH model
255.
micromechanical model
256.
microscopic traffic flow model
257.
Mindlin model
258.
model
259.
model amphipathic peptide
260.
model averaging
261.
model based
262.
model based testing
263.
model building
264.
model building and simulation
265.
model calibration
266.
model checking
267.
model communities
268.
model comparison
269.
model compression
270.
model construction
271.
model description
272.
model designer
273.
Model Driven Architecture
274.
model driven development
275.
model driven engineering
276.
model ensemble
277.
model evaluation
278.
model free
279.
model identification
280.
model interpretability
281.
model learning
282.
model matching problem
283.
model of fracture mechanism
284.
model of fracturemechanism
285.
model of friction
286.
model of goal-directed behaviour
287.
model of non-technical engineering competences
288.
model order estimation
289.
model order reduction
290.
model order reduction (MOR)
291.
model predictive control
292.
model predictive control (MPC)
293.
model predictive controllers (MPC)
294.
model reanalysis
295.
model reduction
296.
model reference adaptive control
297.
model reference controller
298.
model refinement
299.
model smell
300.
Model test
301.
model transformation
302.
model transformations
303.
Model validation
304.
model-based control
305.
model-based development
306.
Model-Based Engineering (MBE)
307.
model-based mutation testing
308.
model-based navigation
309.
model-based patterns
310.
model-based software development
311.
Model-Based Systems Engineering (MBSE)
312.
model-based testing
313.
model-checking
314.
model-driven architecture
315.
model-driven design
316.
model-driven development
317.
model-driven software engineering
318.
model-free control
319.
model-free methods
320.
model-scale experiments
321.
modified winding function‐based model
322.
modulated finite control set-model predictive control
323.
mouse model
324.
multi model ensemble (MME)
325.
multiagent-based microscopic traffic assignment model (MMTAM)
326.
multidomain language model
327.
multi-loop model reference control
328.
multi-model ensemble
329.
multiplicative neuron model
330.
multi-pole mathematical model
331.
multi-pole model
332.
multi-pole model design
333.
natural background model
334.
neural additive model
335.
New Keynesian model
336.
Neyman-Pearson model
337.
NKG2015 geoid model
338.
NN-ANARX model
339.
nonlinear model identification
340.
nonlinear model predictive control
341.
nonlinear time-varying factor model
342.
non-thermal model
343.
Nonthermal model
344.
NSPT model
345.
numerical model
346.
object model
347.
ocean-sea-ice model
348.
open architecture model
349.
open-economy dynamic general equilibrium model
350.
openEHR RM (Reference Model)
351.
optimal model
352.
Overlapping generations model
353.
panel threshold model
354.
panel vector autoregressive model (VAR)
355.
parallel reaction model
356.
path loss model
357.
pedagogical design model
358.
Peirce’s triadic model
359.
Peirce's model
360.
photodiode model
361.
PLM maturity model
362.
plume model
363.
POM model
364.
population balance model
365.
Porter’s diamond model
366.
power loss model
367.
power market model
368.
prediction model
369.
predictive model
370.
pre-trained model
371.
price-sensitive model of flexible equipment
372.
Princeton Ocean Model
373.
Probabilistic Graph Model (PGM)
374.
probabilistic model
375.
process model
376.
projection model
377.
Quadruple Helix Model
378.
quarter car model
379.
rabbit model
380.
Random Parameter Linear Regression Model (RPLRM)
381.
recurrent neural network language model
382.
reduced order model
383.
reference model
384.
regression based model
385.
regulatory model
386.
reputation model
387.
residential electricity consumption model
388.
Residual Terrain Model (RTM) anomaly
389.
residual terrain model anomaly
390.
retaining research financing, changes in salary rules; new academic career model
391.
REVEALS model
392.
reversed hazard rate model
393.
Reynolds stress turbulence model
394.
Richardson Maturity Model
395.
Riedel shear model
396.
ripening model
397.
risk evaluation model
398.
risk evaluation model development
399.
risk management model
400.
sanitary sewer model
401.
scalar model
402.
Scott-Kennel model
403.
security model
404.
shared mental model
405.
SHEL model
406.
ship model basin
407.
simplified model
408.
simulating waves nearshore (SWAN) model
409.
simulation model
410.
simulink model
411.
Simultaneous model-based optimization
412.
single-cell model
413.
sliding model control
414.
small-signal model
415.
SOILN model
416.
specific energy model
417.
standard cost model
418.
statistical model residuals
419.
Storm Water Management Model (SWMM5)
420.
Straussian theory model
421.
structural model
422.
stuck-at fault model
423.
subtractive color model
424.
supply chain model framework
425.
supply chain operations reference (SCOR) model
426.
surrogate model
427.
sustainability model framework
428.
sustainable business model
429.
SWAN model
430.
Zimbabwe agro-pastoral management model
431.
ZIP model
432.
zonal model
433.
teaching model
434.
technology acceptance model
435.
Technology Acceptance Model (TAM)
436.
tender evaluation model
437.
test model design
438.
The Baltic Sea Model Intercomparison Project (BMIP)
439.
the model of non-technical competences
440.
thermal model
441.
tobit regression model
442.
trade gravity model
443.
transnational model
444.
transport model
445.
transportation model
446.
travel time model
447.
tunnelling‐percolation model
448.
turn model
449.
two-dimensional model
450.
two-factor model
451.
typical user model
452.
Ulrich HR roles model
453.
ultra-local model
454.
ultralocal model (ULM) control
455.
Uppaal model-checker
456.
user behavioral model
457.
user dialogue model
458.
utility model
459.
validation of simulation model
460.
value-centric model
461.
wave model
462.
Vector Error Correction Model
463.
vector space model
464.
Wells-Riley model
465.
whole-cell model
466.
Viable Systems Model
467.
wind force model
468.
VRH model
469.
3D model
subject term
2
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT