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