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-based 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
Home rehabilitation system supported by the safety model
Kuusik, Alar
;
Sarna, Külli
;
Reilent, Enar
pHealth 2013 : proceedings of the 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health : June 26-28, 2013, Tallinn, Estonia
2013
/
p. 145-151 : ill
book article
Number of records 1, displaying
1 - 1
keyword
469
1.
model-based verification
2.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3.
model verification
4.
verification by model checking
5.
assertion-based verification
6.
simulation-based verification
7.
accrual-based credit risk model
8.
agent-based model
9.
end-to-end model-based system
10.
finite cycle-based model predictive control
11.
information model-based urban planning
12.
linear Delta robots neural network based model
13.
model based
14.
model based testing
15.
model-based control
16.
model-based development
17.
Model-Based Engineering (MBE)
18.
model-based mutation testing
19.
model-based navigation
20.
model-based patterns
21.
model-based software development
22.
Model-Based Systems Engineering (MBSE)
23.
model-based testing
24.
modified winding function‐based model
25.
multiagent-based microscopic traffic assignment model (MMTAM)
26.
regression based model
27.
Simultaneous model-based optimization
28.
Automata, Formal Verification
29.
Automatic Security Verification
30.
automatic speaker verification
31.
compliance verification
32.
compositional verification
33.
constraint random verification
34.
deductive verification
35.
extra-functional verification
36.
forecast verification
37.
formal verification
38.
functional verification
39.
grid verification
40.
Hardware Verification
41.
power verification
42.
program verification
43.
Quantum state verification
44.
reliability verification
45.
RISC-V Security Verification
46.
security verification
47.
simple payment verification (SVP)
48.
speaker verification
49.
timing verification
50.
validation and verification
51.
verification
52.
verification and validation
53.
verification methods
54.
acoustic model
55.
additive color model
56.
adjusted DuPont model
57.
Allen-Cahn Chan-Vese model
58.
alternative model
59.
analysis model
60.
analytical lumped parameter model
61.
analytical model
62.
analytical thermal model approach
63.
APARHC model
64.
APICS competence model
65.
ARIMA model
66.
armature current model
67.
as-built model
68.
asymmetric model
69.
attack model
70.
automatic GUI model generation
71.
automatic model creation
72.
Bass model
73.
Bayesian model averaging
74.
Bertotti model
75.
beyond standard model
76.
bicycle model
77.
blockiotintelligence architectural model
78.
Bouguer potential model
79.
business model
80.
business model archetypes
81.
business model attributes
82.
business model canvas
83.
business model classification
84.
business model generation
85.
business model innovation
86.
Business Model Innovation (BMI)
87.
business model reconfiguration
88.
business model research
89.
business network model
90.
Caco2 model cells
91.
Capability Maturity Model Integration for Development
92.
cartesian system model
93.
casual probabilistic model
94.
CERC model
95.
chain model
96.
channel model
97.
charging planning model
98.
Coalitional game model
99.
communication model
100.
compact empirical model
101.
compact model
102.
company analyze model
103.
competence model
104.
competency model
105.
Comprehensive Situation Awareness Model
106.
conceptual data model
107.
conceptual model
108.
conceptual model of curriculum for accounting specialization
109.
condenser model
110.
constitutive model
111.
Context model
112.
corrosion model
113.
country analysis model
114.
coupled coils model
115.
crop model
116.
cross-city model transfer
117.
data generative model
118.
data quality maturity model
119.
data-driven model
120.
decentralized model predictive control
121.
deep learning model
122.
deep learning model quantization
123.
default company model
124.
design model
125.
design-driven business model
126.
designing a teaching model
127.
detailed model
128.
didactic model
129.
diffusion model
130.
digital elevation model
131.
digital surface model (DSM)
132.
disease model
133.
distributed activation energy model
134.
distributed parameter model
135.
distributed parameter model of metastructures
136.
Dodd–Deeds model
137.
domain model
138.
domain model and domain modelling
139.
double diamond model
140.
dq0 model
141.
DSGE model
142.
DSL meta-model ontology
143.
Ducoffe’s advertisement value model
144.
Ducoffe’s advertising model
145.
dynamic factor model
146.
dynamic load model
147.
dynamic model
148.
Dynamical vegetation model
149.
Ecological Regional Ocean Model (ERGOM)
150.
economic model
151.
Economic optimization model
152.
EES model
153.
EES Model-2
154.
elaboration likelihood model
155.
ELAQF Competence Model
156.
electricity demand model
157.
Electronic Education System Model-2
158.
empirical energy consumption model
159.
empirical model
160.
end member mixing model
161.
endogenous growth model
162.
energy system model
163.
enzyme-constrained genome-scale model
164.
enterprise analysis model (EAM)
165.
entrepreneurial intention transformation model “EITM”
166.
equivalent circuit model
167.
Eringen model
168.
Estonian sustainability model
169.
Eulerian model
170.
European Charring Model
171.
EV load model
172.
Event Processing Network Model
173.
experience pyramid model
174.
Experimental model
175.
explainable AI model
176.
exponential load model
177.
exponential model
178.
fault analysis model
179.
Felder-Silverman model
180.
FEM model
181.
FEM-model
182.
field tests model validation
183.
finite control set-model predictive control (FCS-MPC)
184.
finite element model
185.
finite-element (FE) model
186.
finite-element model
187.
fire design model
188.
FitzHugh-Nagumo model
189.
fixed country-effect model
190.
FOPDT model
191.
friction model
192.
functional fault model
193.
fuzzy logic model
194.
gaussian mixture model
195.
Gaussian model
196.
General Estuarine Transport Model (GETM)
197.
generative diffusion model
198.
genome model
199.
Genome-scale metabolic model
200.
geoid model
201.
GIS model
202.
Global climate model
203.
goal model
204.
gravity model
205.
grey box model
206.
GTAP model
207.
GUI model
208.
habitat model
209.
habitat suitability model
210.
Hammerstein-Wiener model
211.
HBM model
212.
Hidden Markov Model (HMM)
213.
high-frequency model
214.
high-level control fault model
215.
high-level fault model
216.
high-level functional fault model
217.
HIROMB-BOOS-Model (HBM)
218.
HL7 Version 3: Reference Information Model (RIM)
219.
holistic M&A model
220.
holistic merger and acquisition model
221.
hot/cold pressing and finite element model simulation
222.
hydraulic model
223.
hydraulic network model
224.
hydrodynamic model
225.
Ice history model
226.
inductive model
227.
information model
228.
infringer model
229.
initial data model
230.
input-output model
231.
integrated quadruple instructional model
232.
integrated waste management model
233.
integrative pedagogy model
234.
interpretive structural model (ISM)
235.
iron losses 3D model
236.
Jiles–Atherton (JA) model
237.
Johnson–Cook failure model
238.
joint model
239.
Kano model
240.
KPI selection model
241.
KPIs selection model
242.
laboratory domain model
243.
Lagrangian model
244.
Land Administration Domain Model (LADM)
245.
large language model (LLM)
246.
local interpretable model-agnostic explanations (LIME)
247.
local model
248.
logistic model
249.
logistic regression model
250.
logistics competence model
251.
loss model
252.
LSV model
253.
lumped model
254.
lumped parameter model
255.
lumped-parameter model
256.
Luxemburg model
257.
Machine Learning Explainable model
258.
machine-learning predictive model
259.
MACRO model
260.
Markov model
261.
Markov-switching model
262.
mathematical model
263.
maturity model
264.
measurement model
265.
mental model
266.
meta model
267.
metadata model for security measures
268.
meta-model
269.
MGARCH model
270.
micromechanical model
271.
microscopic traffic flow model
272.
Mindlin model
273.
model
274.
model amphipathic peptide
275.
model averaging
276.
model building
277.
model building and simulation
278.
model calibration
279.
model checking
280.
model communities
281.
model comparison
282.
model compression
283.
model construction
284.
model description
285.
model designer
286.
Model Driven Architecture
287.
model driven development
288.
model driven engineering
289.
model ensemble
290.
model evaluation
291.
model free
292.
model identification
293.
model interpretability
294.
model learning
295.
model matching problem
296.
model of fracture mechanism
297.
model of fracturemechanism
298.
model of friction
299.
model of goal-directed behaviour
300.
model of non-technical engineering competences
301.
model order estimation
302.
model order reduction
303.
model order reduction (MOR)
304.
model predictive control
305.
model predictive control (MPC)
306.
model predictive controllers (MPC)
307.
model reanalysis
308.
model reduction
309.
model reference adaptive control
310.
model reference controller
311.
model refinement
312.
model smell
313.
Model test
314.
model transformation
315.
model transformations
316.
Model validation
317.
model-checking
318.
model-driven architecture
319.
model-driven design
320.
model-driven development
321.
model-driven software engineering
322.
model-free control
323.
model-free methods
324.
model-scale experiments
325.
modulated finite control set-model predictive control
326.
mouse model
327.
multi model ensemble (MME)
328.
multidomain language model
329.
multi-loop model reference control
330.
multi-model ensemble
331.
multiplicative neuron model
332.
multi-pole mathematical model
333.
multi-pole model
334.
multi-pole model design
335.
natural background model
336.
neural additive model
337.
New Keynesian model
338.
Neyman-Pearson model
339.
NKG2015 geoid model
340.
NN-ANARX model
341.
nonlinear model identification
342.
nonlinear model predictive control
343.
nonlinear time-varying factor model
344.
non-thermal model
345.
Nonthermal model
346.
NSPT model
347.
numerical model
348.
object model
349.
ocean-sea-ice model
350.
open architecture model
351.
open-economy dynamic general equilibrium model
352.
openEHR RM (Reference Model)
353.
optimal model
354.
Overlapping generations model
355.
panel threshold model
356.
panel vector autoregressive model (VAR)
357.
parallel reaction model
358.
path loss model
359.
pedagogical design model
360.
Peirce’s triadic model
361.
Peirce's model
362.
photodiode model
363.
PLM maturity model
364.
plume model
365.
POM model
366.
population balance model
367.
Porter’s diamond model
368.
power loss model
369.
power market model
370.
prediction model
371.
predictive model
372.
pre-trained model
373.
price-sensitive model of flexible equipment
374.
Princeton Ocean Model
375.
Probabilistic Graph Model (PGM)
376.
probabilistic model
377.
process model
378.
projection model
379.
Quadruple Helix Model
380.
quarter car model
381.
rabbit model
382.
Random Parameter Linear Regression Model (RPLRM)
383.
recurrent neural network language model
384.
reduced order model
385.
reference model
386.
regulatory model
387.
reputation model
388.
residential electricity consumption model
389.
Residual Terrain Model (RTM) anomaly
390.
residual terrain model anomaly
391.
retaining research financing, changes in salary rules; new academic career model
392.
REVEALS model
393.
reversed hazard rate model
394.
Reynolds stress turbulence model
395.
Richardson Maturity Model
396.
Riedel shear model
397.
ripening model
398.
risk evaluation model
399.
risk evaluation model development
400.
risk management model
401.
sanitary sewer model
402.
scalar model
403.
Scott-Kennel model
404.
security model
405.
shared mental model
406.
SHEL model
407.
ship model basin
408.
simplified model
409.
simulating waves nearshore (SWAN) model
410.
simulation model
411.
simulink model
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