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/363)
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
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
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