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