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