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