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