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 transformation (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
1
Vaata veel..
(2/483)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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 EST
/
artikkel kogumikus ENG
A tool-supported approach for introducing aspects in UPPAAL timed automata
Truscan, Dragos
;
Vain, Jüri
;
Koskinen, Martin
;
Iqbal, Junaid
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
2015
/
p. 349-364
https://doi.org/10.1007/978-3-319-25579-8_20
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
480
1.
model transformation
2.
entrepreneurial intention transformation model “EITM”
3.
model transformations
4.
Carrier-Greenspan transformation
5.
CEE transformation
6.
Charnes-Cooper transformation
7.
chemical transformation
8.
Clarke transformation
9.
digital government transformation
10.
digital transformation
11.
dinatural transformation
12.
directional catalyst-free transformation
13.
dq0 transformation
14.
extended coordinate transformation
15.
industry transformation
16.
institutional transformation
17.
Maritime digital transformation
18.
martensitc transformation
19.
massive transformation
20.
matrix transformation
21.
Organisational transformation
22.
outcome transformation
23.
output transformation
24.
parametrised state transformation
25.
parametrized state transformation
26.
pedagogical transformation
27.
perfect technical transformation (PTT)
28.
permutation-quasigroup string transformation
29.
phase transformation
30.
production and technical transformation project (PTTP)
31.
program transformation
32.
Rules of transformation
33.
social transformation
34.
sociotechnical transformation
35.
structural transformation
36.
zirconia transformation toughening
37.
time series to frequency transformation
38.
transformation
39.
transformation diagrams
40.
transformation of culture
41.
transformation products
42.
transformation toughening
43.
wave transformation
44.
accrual-based credit risk model
45.
acoustic model
46.
additive color model
47.
adjusted DuPont model
48.
agent-based model
49.
Allen-Cahn Chan-Vese model
50.
alternative model
51.
analysis model
52.
analytical lumped parameter model
53.
analytical model
54.
analytical thermal model approach
55.
APARHC model
56.
APICS competence model
57.
ARIMA model
58.
armature current model
59.
as-built model
60.
asymmetric model
61.
attack model
62.
automatic GUI model generation
63.
automatic model creation
64.
Bass model
65.
Bayesian model averaging
66.
Bertotti model
67.
beyond standard model
68.
bicycle model
69.
blockiotintelligence architectural model
70.
Bouguer potential model
71.
business model
72.
business model archetypes
73.
business model attributes
74.
business model canvas
75.
business model classification
76.
business model generation
77.
business model innovation
78.
Business Model Innovation (BMI)
79.
business model reconfiguration
80.
business model research
81.
business network model
82.
Caco2 model cells
83.
Capability Maturity Model Integration for Development
84.
cartesian system model
85.
casual probabilistic model
86.
CERC model
87.
chain model
88.
channel model
89.
charging planning model
90.
Coalitional game model
91.
communication model
92.
compact empirical model
93.
compact model
94.
company analyze model
95.
competence model
96.
competency model
97.
Comprehensive Situation Awareness Model
98.
conceptual data model
99.
conceptual model
100.
conceptual model of curriculum for accounting specialization
101.
condenser model
102.
constitutive model
103.
Context model
104.
corrosion model
105.
country analysis model
106.
coupled coils model
107.
crop model
108.
cross-city model transfer
109.
data generative model
110.
data quality maturity model
111.
data-driven model
112.
decentralized model predictive control
113.
deep learning model
114.
deep learning model quantization
115.
default company model
116.
design model
117.
design-driven business model
118.
designing a teaching model
119.
detailed model
120.
didactic model
121.
diffusion model
122.
digital elevation model
123.
digital surface model (DSM)
124.
disease model
125.
distributed activation energy model
126.
distributed parameter model
127.
distributed parameter model of metastructures
128.
Dodd–Deeds model
129.
domain model
130.
domain model and domain modelling
131.
double diamond model
132.
dq0 model
133.
DSGE model
134.
DSL meta-model ontology
135.
Ducoffe’s advertisement value model
136.
Ducoffe’s advertising model
137.
dynamic factor model
138.
dynamic load model
139.
dynamic model
140.
Dynamical vegetation model
141.
Ecological Regional Ocean Model (ERGOM)
142.
economic model
143.
Economic optimization model
144.
EES model
145.
EES Model-2
146.
elaboration likelihood model
147.
ELAQF Competence Model
148.
electricity demand model
149.
Electronic Education System Model-2
150.
empirical energy consumption model
151.
empirical model
152.
end member mixing model
153.
endogenous growth model
154.
end-to-end model-based system
155.
energy system model
156.
enzyme-constrained genome-scale model
157.
enterprise analysis model (EAM)
158.
equivalent circuit model
159.
Eringen model
160.
Estonian sustainability model
161.
Eulerian model
162.
European Charring Model
163.
EV load model
164.
Event Processing Network Model
165.
experience pyramid model
166.
Experimental model
167.
explainable AI model
168.
exponential load model
169.
exponential model
170.
fault analysis model
171.
Felder-Silverman model
172.
FEM model
173.
FEM-model
174.
field tests model validation
175.
finite control set-model predictive control (FCS-MPC)
176.
finite cycle-based model predictive control
177.
finite element model
178.
finite-element (FE) model
179.
finite-element model
180.
fire design model
181.
FitzHugh-Nagumo model
182.
fixed country-effect model
183.
FOPDT model
184.
friction model
185.
functional fault model
186.
fuzzy logic model
187.
gaussian mixture model
188.
Gaussian model
189.
General Estuarine Transport Model (GETM)
190.
generative diffusion model
191.
genome model
192.
Genome-scale metabolic model
193.
geoid model
194.
GIS model
195.
Global climate model
196.
goal model
197.
gravity model
198.
grey box model
199.
GTAP model
200.
GUI model
201.
habitat model
202.
habitat suitability model
203.
Hammerstein-Wiener model
204.
HBM model
205.
Hidden Markov Model (HMM)
206.
high-frequency model
207.
high-level control fault model
208.
high-level fault model
209.
high-level functional fault model
210.
HIROMB-BOOS-Model (HBM)
211.
HL7 Version 3: Reference Information Model (RIM)
212.
holistic M&A model
213.
holistic merger and acquisition model
214.
hot/cold pressing and finite element model simulation
215.
hydraulic model
216.
hydraulic network model
217.
hydrodynamic model
218.
Ice history model
219.
inductive model
220.
information model
221.
information model-based urban planning
222.
infringer model
223.
initial data model
224.
input-output model
225.
integrated quadruple instructional model
226.
integrated waste management model
227.
integrative pedagogy model
228.
interpretive structural model (ISM)
229.
iron losses 3D model
230.
Jiles–Atherton (JA) model
231.
Johnson–Cook failure model
232.
joint model
233.
Kano model
234.
KPI selection model
235.
KPIs selection model
236.
laboratory domain model
237.
Lagrangian model
238.
Land Administration Domain Model (LADM)
239.
large language model (LLM)
240.
linear Delta robots neural network based model
241.
local interpretable model-agnostic explanations (LIME)
242.
local model
243.
logistic model
244.
logistic regression model
245.
logistics competence model
246.
loss model
247.
LSV model
248.
lumped model
249.
lumped parameter model
250.
lumped-parameter model
251.
Luxemburg model
252.
Machine Learning Explainable model
253.
machine-learning predictive model
254.
MACRO model
255.
Markov model
256.
Markov-switching model
257.
mathematical model
258.
maturity model
259.
measurement model
260.
mental model
261.
meta model
262.
metadata model for security measures
263.
meta-model
264.
MGARCH model
265.
micromechanical model
266.
microscopic traffic flow model
267.
Mindlin model
268.
model
269.
model amphipathic peptide
270.
model averaging
271.
model based
272.
model based testing
273.
model building
274.
model building and simulation
275.
model calibration
276.
model checking
277.
model communities
278.
model comparison
279.
model compression
280.
model construction
281.
model description
282.
model designer
283.
Model Driven Architecture
284.
model driven development
285.
model driven engineering
286.
model ensemble
287.
model evaluation
288.
model free
289.
model identification
290.
model interpretability
291.
model learning
292.
model matching problem
293.
model of fracture mechanism
294.
model of fracturemechanism
295.
model of friction
296.
model of goal-directed behaviour
297.
model of non-technical engineering competences
298.
model order estimation
299.
model order reduction
300.
model order reduction (MOR)
301.
model predictive control
302.
model predictive control (MPC)
303.
model predictive controllers (MPC)
304.
model reanalysis
305.
model reduction
306.
model reference adaptive control
307.
model reference controller
308.
model refinement
309.
model smell
310.
Model test
311.
Model validation
312.
model verification
313.
model-based control
314.
model-based development
315.
Model-Based Engineering (MBE)
316.
model-based mutation testing
317.
model-based navigation
318.
model-based patterns
319.
model-based software development
320.
Model-Based Systems Engineering (MBSE)
321.
model-based testing
322.
model-based verification
323.
model-checking
324.
model-driven architecture
325.
model-driven design
326.
model-driven development
327.
model-driven software engineering
328.
model-free control
329.
model-free methods
330.
model-scale experiments
331.
modified winding function‐based model
332.
modulated finite control set-model predictive control
333.
mouse model
334.
multi model ensemble (MME)
335.
multiagent-based microscopic traffic assignment model (MMTAM)
336.
multidomain language model
337.
multi-loop model reference control
338.
multi-model ensemble
339.
multiplicative neuron model
340.
multi-pole mathematical model
341.
multi-pole model
342.
multi-pole model design
343.
natural background model
344.
neural additive model
345.
New Keynesian model
346.
Neyman-Pearson model
347.
NKG2015 geoid model
348.
NN-ANARX model
349.
nonlinear model identification
350.
nonlinear model predictive control
351.
nonlinear time-varying factor model
352.
non-thermal model
353.
Nonthermal model
354.
NSPT model
355.
numerical model
356.
object model
357.
ocean-sea-ice model
358.
open architecture model
359.
open-economy dynamic general equilibrium model
360.
openEHR RM (Reference Model)
361.
optimal model
362.
Overlapping generations model
363.
panel threshold model
364.
panel vector autoregressive model (VAR)
365.
parallel reaction model
366.
path loss model
367.
pedagogical design model
368.
Peirce’s triadic model
369.
Peirce's model
370.
photodiode model
371.
PLM maturity model
372.
plume model
373.
POM model
374.
population balance model
375.
Porter’s diamond model
376.
power loss model
377.
power market model
378.
prediction model
379.
predictive model
380.
pre-trained model
381.
price-sensitive model of flexible equipment
382.
Princeton Ocean Model
383.
Probabilistic Graph Model (PGM)
384.
probabilistic model
385.
process model
386.
projection model
387.
Quadruple Helix Model
388.
quarter car model
389.
rabbit model
390.
Random Parameter Linear Regression Model (RPLRM)
391.
recurrent neural network language model
392.
reduced order model
393.
reference model
394.
regression based model
395.
regulatory model
396.
reputation model
397.
residential electricity consumption model
398.
Residual Terrain Model (RTM) anomaly
399.
residual terrain model anomaly
400.
retaining research financing, changes in salary rules; new academic career model
401.
REVEALS model
402.
reversed hazard rate model
403.
Reynolds stress turbulence model
404.
Richardson Maturity Model
405.
Riedel shear model
406.
ripening model
407.
risk evaluation model
408.
risk evaluation model development
409.
risk management model
410.
sanitary sewer model
411.
scalar model
412.
Scott-Kennel model
413.
security model
414.
shared mental model
415.
SHEL model
416.
ship model basin
417.
simplified model
418.
simulating waves nearshore (SWAN) model
419.
simulation model
420.
simulink model
421.
Simultaneous model-based optimization
422.
single-cell model
423.
sliding model control
424.
small-signal model
425.
SOILN model
426.
specific energy model
427.
standard cost model
428.
statistical model residuals
429.
Storm Water Management Model (SWMM5)
430.
Straussian theory model
431.
structural model
432.
stuck-at fault model
433.
subtractive color model
434.
supply chain model framework
435.
supply chain operations reference (SCOR) model
436.
surrogate model
437.
sustainability model framework
438.
sustainable business model
439.
SWAN model
440.
Zimbabwe agro-pastoral management model
441.
ZIP model
442.
zonal model
443.
teaching model
444.
technology acceptance model
445.
Technology Acceptance Model (TAM)
446.
tender evaluation model
447.
test model design
448.
The Baltic Sea Model Intercomparison Project (BMIP)
449.
the model of non-technical competences
450.
thermal model
451.
tobit regression model
452.
trade gravity model
453.
transnational model
454.
transport model
455.
transportation model
456.
travel time model
457.
tunnelling‐percolation model
458.
turn model
459.
two-dimensional model
460.
two-factor model
461.
typical user model
462.
Ulrich HR roles model
463.
ultra-local model
464.
ultralocal model (ULM) control
465.
Uppaal model-checker
466.
user behavioral model
467.
user dialogue model
468.
utility model
469.
validation of simulation model
470.
value-centric model
471.
wave model
472.
Vector Error Correction Model
473.
vector space model
474.
Wells-Riley model
475.
verification by model checking
476.
whole-cell model
477.
Viable Systems Model
478.
wind force model
479.
VRH model
480.
3D model
märksõna
3
1.
MaaS eXchange and Transformation
2.
Fit Model
3.
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