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