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