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/362)
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
360
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.
dynamic factor model
81.
dynamic model
82.
Dynamical vegetation model
83.
Ecological Regional Ocean Model (ERGOM)
84.
economic model
85.
Economic optimization model
86.
EES model
87.
EES Model-2
88.
elaboration likelihood model
89.
electricity demand model
90.
Electronic Education System Model-2
91.
empirical energy consumption model
92.
empirical model
93.
end member mixing model
94.
endogenous growth model
95.
energy system model
96.
enzyme-constrained genome-scale model
97.
enterprise analysis model (EAM)
98.
entrepreneurial intention transformation model “EITM”
99.
equivalent circuit model
100.
Eringen model
101.
Estonian sustainability model
102.
Eulerian model
103.
European Charring Model
104.
EV load model
105.
Event Processing Network Model
106.
experience pyramid model
107.
Experimental model
108.
explainable AI model
109.
exponential load model
110.
exponential model
111.
fault analysis model
112.
Felder-Silverman model
113.
FEM-model
114.
field tests model validation
115.
finite control set-model predictive control (FCS-MPC)
116.
finite element model
117.
finite-element (FE) model
118.
finite-element model
119.
fire design model
120.
fixed country-effect model
121.
FOPDT model
122.
friction model
123.
functional fault model
124.
fuzzy logic model
125.
gaussian mixture model
126.
Gaussian model
127.
genome model
128.
Genome-scale metabolic model
129.
geoid model
130.
GIS model
131.
Global climate model
132.
goal model
133.
gravity model
134.
grey box model
135.
GTAP model
136.
GUI model
137.
habitat model
138.
habitat suitability model
139.
Hammerstein-Wiener model
140.
HBM model
141.
Hidden Markov Model (HMM)
142.
high-frequency model
143.
high-level control fault model
144.
high-level fault model
145.
high-level functional fault model
146.
HIROMB-BOOS-Model (HBM)
147.
HL7 Version 3: Reference Information Model (RIM)
148.
holistic M&A model
149.
holistic merger and acquisition model
150.
hot/cold pressing and finite element model simulation
151.
hydraulic model
152.
hydraulic network model
153.
hydrodynamic model
154.
Ice history model
155.
inductive model
156.
input-output model
157.
integrated quadruple instructional model
158.
integrated waste management model
159.
integrative pedagogy model
160.
interpretive structural model (ISM)
161.
Jiles–Atherton (JA) model
162.
joint model
163.
Kano model
164.
KPI selection model
165.
KPIs selection model
166.
laboratory domain model
167.
Lagrangian model
168.
logistic model
169.
logistics competence model
170.
loss model
171.
LSV model
172.
lumped model
173.
Machine Learning Explainable model
174.
machine-learning predictive model
175.
MACRO model
176.
Markov-switching model
177.
mathematical model
178.
maturity model
179.
measurement model
180.
mental model
181.
metadata model for security measures
182.
meta-model
183.
MGARCH model
184.
microscopic traffic flow model
185.
model
186.
model amphipathic peptide
187.
model averaging
188.
model based testing
189.
model building
190.
model calibration
191.
model communities
192.
model compression
193.
model construction
194.
model description
195.
Model Driven Architecture
196.
model driven engineering
197.
model ensemble
198.
model evaluation
199.
model identification
200.
model learning
201.
model matching problem
202.
model of fracture mechanism
203.
model of fracturemechanism
204.
model of friction
205.
model of non-technical engineering competences
206.
model order estimation
207.
model order reduction
208.
model order reduction (MOR)
209.
model predictive control
210.
model predictive control (MPC)
211.
model reanalysis
212.
model reduction
213.
model reference adaptive control
214.
model reference controller
215.
model refinement
216.
model smell
217.
Model test
218.
model transformation
219.
model transformations
220.
Model validation
221.
model verification
222.
model-based control
223.
model-based development
224.
Model-Based Engineering (MBE)
225.
model-based mutation testing
226.
model-based patterns
227.
model-based software development
228.
Model-Based Systems Engineering (MBSE)
229.
model-based testing
230.
model-based verification
231.
model-driven design
232.
model-driven development
233.
model-free methods
234.
model-scale experiments
235.
modified winding function‐based model
236.
modulated finite control set-model predictive control
237.
multi model ensemble (MME)
238.
multiagent-based microscopic traffic assignment model (MMTAM)
239.
multidomain language model
240.
multi-loop model reference control
241.
multiplicative neuron model
242.
multi-pole mathematical model
243.
multi-pole model
244.
multi-pole model design
245.
natural background model
246.
Neyman-Pearson model
247.
NKG2015 geoid model
248.
NN-ANARX model
249.
nonlinear model identification
250.
nonlinear model predictive control
251.
nonlinear time-varying factor model
252.
non-thermal model
253.
Nonthermal model
254.
NSPT model
255.
object model
256.
ocean-sea-ice model
257.
open architecture model
258.
open-economy dynamic general equilibrium model
259.
openEHR RM (Reference Model)
260.
optimal model
261.
panel threshold model
262.
panel vector autoregressive model (VAR)
263.
parallel reaction model
264.
path loss model
265.
Peirce’s triadic model
266.
Peirce's model
267.
photodiode model
268.
PLM maturity model
269.
plume model
270.
POM model
271.
population balance model
272.
Porter’s diamond model
273.
power loss model
274.
power market model
275.
prediction model
276.
predictive model
277.
pre-trained model
278.
price-sensitive model of flexible equipment
279.
Princeton Ocean Model
280.
Probabilistic Graph Model (PGM)
281.
probabilistic model
282.
process model
283.
Quadruple Helix Model
284.
recurrent neural network language model
285.
reduced order model
286.
reference model
287.
regression based model
288.
reputation model
289.
residential electricity consumption model
290.
Residual Terrain Model (RTM) anomaly
291.
residual terrain model anomaly
292.
retaining research financing, changes in salary rules; new academic career model
293.
Reynolds stress turbulence model
294.
Richardson Maturity Model
295.
risk evaluation model
296.
risk evaluation model development
297.
risk management model
298.
scalar model
299.
Scott-Kennel model
300.
security model
301.
shared mental model
302.
SHEL model
303.
ship model basin
304.
simplified model
305.
simulating waves nearshore (SWAN) model
306.
simulation model
307.
simulink model
308.
Simultaneous model-based optimization
309.
single-cell model
310.
sliding model control
311.
small-signal model
312.
SOILN model
313.
specific energy model
314.
standard cost model
315.
statistical model residuals
316.
Storm Water Management Model (SWMM5)
317.
Straussian theory model
318.
structural model
319.
stuck-at fault model
320.
supply chain model framework
321.
supply chain operations reference (SCOR) model
322.
sustainability model framework
323.
SWAN model
324.
Zimbabwe agro-pastoral management model
325.
ZIP model
326.
zonal model
327.
teaching model
328.
technology acceptance model
329.
Technology Acceptance Model (TAM)
330.
tender evaluation model
331.
test model design
332.
The Baltic Sea Model Intercomparison Project (BMIP)
333.
the model of non-technical competences
334.
thermal model
335.
tobit regression model
336.
trade gravity model
337.
transnational model
338.
transport model
339.
transportation model
340.
tunnelling‐percolation model
341.
turn model
342.
two-dimensional model
343.
two-factor model
344.
Ulrich HR roles model
345.
ultralocal model (ULM) control
346.
Uppaal model-checker
347.
user behavioral model
348.
user dialogue model
349.
utility model
350.
validation of simulation model
351.
value-centric model
352.
wave model
353.
Vector Error Correction Model
354.
vector space model
355.
Wells-Riley model
356.
whole-cell model
357.
Viable Systems Model
358.
wind force model
359.
VRH model
360.
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