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