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