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