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