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
Advanced search
My bookmarks
0
model-based development (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(2/714)
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
Developing multi-view Contracts using Event-B and Uppaal Timed Automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Guin, Jishu
2016 21st International Conference on Engineering of Complex Computer Systems : ICECCS 2016 : Dubai, United Arab Emirates, 6-8 November 2016 : proceedings
2016
/
p. 126-134 : ill
https://doi.org/10.1109/ICECCS.2016.024
book article
Number of records 1, displaying
1 - 1
keyword
710
1.
model-based development
2.
model-based software development
3.
Capability Maturity Model Integration for Development
4.
model-driven development
5.
risk evaluation model development
6.
agent-based model
7.
model based testing
8.
model-based control
9.
Model-Based Engineering (MBE)
10.
model-based mutation testing
11.
model-based patterns
12.
Model-Based Systems Engineering (MBSE)
13.
model-based testing
14.
model-based verification
15.
modified winding function‐based model
16.
multiagent-based microscopic traffic assignment model (MMTAM)
17.
regression based model
18.
Simultaneous model-based optimization
19.
archetypes and archetype patterns based development
20.
FPGA-based development boards
21.
acoustic model
22.
adjusted DuPont model
23.
analysis model
24.
analytical lumped parameter model
25.
analytical model
26.
analytical thermal model approach
27.
APARHC model
28.
APICS competence model
29.
armature current model
30.
asymmetric model
31.
attack model
32.
automatic GUI model generation
33.
automatic model creation
34.
Bass model
35.
Bayesian model averaging
36.
beyond standard model
37.
bicycle model
38.
business model
39.
business model archetypes
40.
business model attributes
41.
business model canvas
42.
business model classification
43.
business model generation
44.
business model innovation
45.
Business Model Innovation (BMI)
46.
business model reconfiguration
47.
business model research
48.
business network model
49.
Caco2 model cells
50.
cartesian system model
51.
CERC model
52.
chain model
53.
channel model
54.
charging planning model
55.
Coalitional game model
56.
communication model
57.
compact empirical model
58.
company analyze model
59.
competence model
60.
competency model
61.
Comprehensive Situation Awareness Model
62.
conceptual data model
63.
conceptual model
64.
conceptual model of curriculum for accounting specialization
65.
condenser model
66.
constitutive model
67.
Context model
68.
corrosion model
69.
country analysis model
70.
coupled coils model
71.
crop model
72.
data generative model
73.
data quality maturity model
74.
decentralized model predictive control
75.
deep learning model
76.
default company model
77.
design model
78.
design-driven business model
79.
designing a teaching model
80.
detailed model
81.
didactic model
82.
digital surface model (DSM)
83.
disease model
84.
distributed activation energy model
85.
Dodd–Deeds model
86.
domain model
87.
domain model and domain modelling
88.
dq0 model
89.
DSGE model
90.
DSL meta-model ontology
91.
Ducoffe’s advertisement value model
92.
Ducoffe’s advertising model
93.
dynamic factor model
94.
dynamic model
95.
Dynamical vegetation model
96.
Ecological Regional Ocean Model (ERGOM)
97.
economic model
98.
Economic optimization model
99.
EES model
100.
EES Model-2
101.
elaboration likelihood model
102.
electricity demand model
103.
Electronic Education System Model-2
104.
empirical energy consumption model
105.
empirical model
106.
end member mixing model
107.
endogenous growth model
108.
energy system model
109.
enzyme-constrained genome-scale model
110.
enterprise analysis model (EAM)
111.
entrepreneurial intention transformation model “EITM”
112.
equivalent circuit model
113.
Eringen model
114.
Estonian sustainability model
115.
Eulerian model
116.
European Charring Model
117.
EV load model
118.
Event Processing Network Model
119.
experience pyramid model
120.
Experimental model
121.
explainable AI model
122.
exponential load model
123.
exponential model
124.
fault analysis model
125.
Felder-Silverman model
126.
FEM-model
127.
field tests model validation
128.
finite control set-model predictive control (FCS-MPC)
129.
finite element model
130.
finite-element (FE) model
131.
finite-element model
132.
fire design model
133.
fixed country-effect model
134.
FOPDT model
135.
friction model
136.
functional fault model
137.
fuzzy logic model
138.
gaussian mixture model
139.
Gaussian model
140.
genome model
141.
Genome-scale metabolic model
142.
geoid model
143.
GIS model
144.
Global climate model
145.
goal model
146.
gravity model
147.
grey box model
148.
GTAP model
149.
GUI model
150.
habitat model
151.
habitat suitability model
152.
Hammerstein-Wiener model
153.
HBM model
154.
Hidden Markov Model (HMM)
155.
high-frequency model
156.
high-level control fault model
157.
high-level fault model
158.
high-level functional fault model
159.
HIROMB-BOOS-Model (HBM)
160.
HL7 Version 3: Reference Information Model (RIM)
161.
holistic M&A model
162.
holistic merger and acquisition model
163.
hot/cold pressing and finite element model simulation
164.
hydraulic model
165.
hydraulic network model
166.
hydrodynamic model
167.
Ice history model
168.
inductive model
169.
input-output model
170.
integrated quadruple instructional model
171.
integrated waste management model
172.
integrative pedagogy model
173.
interpretive structural model (ISM)
174.
Jiles–Atherton (JA) model
175.
joint model
176.
Kano model
177.
KPI selection model
178.
KPIs selection model
179.
laboratory domain model
180.
Lagrangian model
181.
logistic model
182.
logistics competence model
183.
loss model
184.
LSV model
185.
lumped model
186.
lumped-parameter model
187.
Machine Learning Explainable model
188.
machine-learning predictive model
189.
MACRO model
190.
Markov-switching model
191.
mathematical model
192.
maturity model
193.
measurement model
194.
mental model
195.
metadata model for security measures
196.
meta-model
197.
MGARCH model
198.
microscopic traffic flow model
199.
model
200.
model amphipathic peptide
201.
model averaging
202.
model building
203.
model calibration
204.
model checking
205.
model communities
206.
model compression
207.
model construction
208.
model description
209.
Model Driven Architecture
210.
model driven engineering
211.
model ensemble
212.
model evaluation
213.
model identification
214.
model learning
215.
model matching problem
216.
model of fracture mechanism
217.
model of fracturemechanism
218.
model of friction
219.
model of non-technical engineering competences
220.
model order estimation
221.
model order reduction
222.
model order reduction (MOR)
223.
model predictive control
224.
model predictive control (MPC)
225.
model reanalysis
226.
model reduction
227.
model reference adaptive control
228.
model reference controller
229.
model refinement
230.
model smell
231.
Model test
232.
model transformation
233.
model transformations
234.
Model validation
235.
model verification
236.
model-checking
237.
model-driven design
238.
model-free control
239.
model-free methods
240.
model-scale experiments
241.
modulated finite control set-model predictive control
242.
multi model ensemble (MME)
243.
multidomain language model
244.
multi-loop model reference control
245.
multiplicative neuron model
246.
multi-pole mathematical model
247.
multi-pole model
248.
multi-pole model design
249.
natural background model
250.
Neyman-Pearson model
251.
NKG2015 geoid model
252.
NN-ANARX model
253.
nonlinear model identification
254.
nonlinear model predictive control
255.
nonlinear time-varying factor model
256.
non-thermal model
257.
Nonthermal model
258.
NSPT model
259.
object model
260.
ocean-sea-ice model
261.
open architecture model
262.
open-economy dynamic general equilibrium model
263.
openEHR RM (Reference Model)
264.
optimal model
265.
panel threshold model
266.
panel vector autoregressive model (VAR)
267.
parallel reaction model
268.
path loss model
269.
Peirce’s triadic model
270.
Peirce's model
271.
photodiode model
272.
PLM maturity model
273.
plume model
274.
POM model
275.
population balance model
276.
Porter’s diamond model
277.
power loss model
278.
power market model
279.
prediction model
280.
predictive model
281.
pre-trained model
282.
price-sensitive model of flexible equipment
283.
Princeton Ocean Model
284.
Probabilistic Graph Model (PGM)
285.
probabilistic model
286.
process model
287.
Quadruple Helix Model
288.
recurrent neural network language model
289.
reduced order model
290.
reference model
291.
reputation model
292.
residential electricity consumption model
293.
Residual Terrain Model (RTM) anomaly
294.
residual terrain model anomaly
295.
retaining research financing, changes in salary rules; new academic career model
296.
Reynolds stress turbulence model
297.
Richardson Maturity Model
298.
risk evaluation model
299.
risk management model
300.
scalar model
301.
Scott-Kennel model
302.
security model
303.
shared mental model
304.
SHEL model
305.
ship model basin
306.
simplified model
307.
simulating waves nearshore (SWAN) model
308.
simulation model
309.
simulink model
310.
single-cell model
311.
sliding model control
312.
small-signal model
313.
SOILN model
314.
specific energy model
315.
standard cost model
316.
statistical model residuals
317.
Storm Water Management Model (SWMM5)
318.
Straussian theory model
319.
structural model
320.
stuck-at fault model
321.
supply chain model framework
322.
supply chain operations reference (SCOR) model
323.
surrogate model
324.
sustainability model framework
325.
SWAN model
326.
Zimbabwe agro-pastoral management model
327.
ZIP model
328.
zonal model
329.
teaching model
330.
technology acceptance model
331.
Technology Acceptance Model (TAM)
332.
tender evaluation model
333.
test model design
334.
The Baltic Sea Model Intercomparison Project (BMIP)
335.
the model of non-technical competences
336.
thermal model
337.
tobit regression model
338.
trade gravity model
339.
transnational model
340.
transport model
341.
transportation model
342.
tunnelling‐percolation model
343.
turn model
344.
two-dimensional model
345.
two-factor model
346.
Ulrich HR roles model
347.
ultra-local model
348.
ultralocal model (ULM) control
349.
Uppaal model-checker
350.
user behavioral model
351.
user dialogue model
352.
utility model
353.
validation of simulation model
354.
value-centric model
355.
wave model
356.
Vector Error Correction Model
357.
vector space model
358.
Wells-Riley model
359.
verification by model checking
360.
whole-cell model
361.
Viable Systems Model
362.
wind force model
363.
VRH model
364.
3D model
365.
academic development in the Baltic countries
366.
agile development
367.
alloy systems and alloy development
368.
anther development
369.
barriers of development
370.
Bologna development
371.
brain development
372.
business development
373.
business development models
374.
capability development techniques
375.
capacity development
376.
career development
377.
child development
378.
client-vendor relationship in software development
379.
collaborative development
380.
commercial development
381.
community development
382.
comparative economic development
383.
complementary development
384.
continuing professional development
385.
course development
386.
curricula development
387.
curriculum development
388.
design development
389.
development
390.
development and humanitarian aid
391.
development banks
392.
development economics
393.
development funding
394.
development of accounting
395.
development of economic thought
396.
development of LBS
397.
development of security cameras
398.
development of SMEs
399.
development of the European building process
400.
development path
401.
development policy
402.
development processes
403.
development studies
404.
Development support
405.
development theory
406.
digital development of the EU
407.
Digital Government Theory: Development and Application
408.
DSL development
409.
dune development
410.
dynamic capabilities development
411.
Economic Development
412.
economic development policy
413.
education for sustainable development
414.
embryonic development
415.
entrepreneurship development
416.
European e-development
417.
European Union development
418.
European values and digital development
419.
exploit development
420.
faculty development
421.
financial development
422.
flower development
423.
framework development
424.
groundwater development
425.
housing development
426.
hub development
427.
human development
428.
human resource development
429.
Information and Communication Technologies for Development
430.
information systems development
431.
institutional development
432.
Internet development
433.
IT and product development
434.
lean development
435.
Lean Product Development
436.
logistics hub development
437.
low-code development
438.
management development
439.
media development
440.
NB-IoT development platform
441.
neural development
442.
new product development
443.
Nunavut natural resource development
444.
ontology driven software development
445.
personal development
446.
policy development
447.
product and service development
448.
product development
449.
programme development
450.
public infrastructural development
451.
R&D (research and development)
452.
region business culture and development
453.
regional development
454.
research and development
455.
research and development (R&D)
456.
research and development jobs
457.
rural development
458.
safety development
459.
scale development
460.
self-development
461.
skills development
462.
smart city development
463.
smart rural development
464.
smart transport development
465.
social development
466.
social self-development
467.
socio-economic development
468.
software development
469.
software development concepts
470.
spread and development of new policy instruments (environmental taxes and charges system)
471.
sustainable development
472.
Sustainable Development Goals
473.
sustainable development management
474.
sustainable production development
475.
sustainable spatial development
476.
sustainable tourism development
477.
sustainable urban development
478.
synbio development
479.
test driven development
480.
theory of economic development
481.
tourism development
482.
United Nations Sustainable Development Goals
483.
urban development
484.
use-development communication
485.
user interface development
486.
accelerator-based architecture
487.
Active chitosan-based film
488.
activity based modelling
489.
activity-based cost estimating
490.
activity-based costing
491.
Activity-based demand generation
492.
Activity-based transport modeling
493.
Adaptive network-based fuzzy inference system (ANFIS)
494.
address-based sorting
495.
agent-based modeling
496.
agent-based models
497.
AI based CAD software
498.
AI-based worker management
499.
Al based hard PVD coating
500.
al-based alloy
501.
Al-based alloys
502.
Al-based composite
503.
Al-based composites
504.
algorithm-based decision
505.
aluminum based composite
506.
app-based mobile financial services
507.
area‐based composite correlations method
508.
assertion-based verification
509.
beam-based feedback
510.
Bi and Fe-based barium titanate
511.
Bio-Based
512.
bio-based and biodegradable plastics market
513.
Bio-based film-forming solution
514.
bio-based materials
515.
bio‐based materials
516.
biogeography based optimization
517.
bioimpedance based sensing
518.
bioimpedance-based sensing
519.
bisection based optimal power allocation
520.
block-based merge
521.
borrower-based policy measures
522.
carbon based materials
523.
carbon-based materials
524.
chitosan-based film
525.
chromium carbide-based cermets
526.
clay-based ceramics
527.
climate based daylight modelling
528.
climate-based simulations
529.
cloud- and AI-based system
530.
cloud-based cyber-physical systems (C2PS)
531.
commons based peer production
532.
commons-based innovation
533.
commons-based peer production (CBPP)
534.
Community-based research
535.
comparison-based
536.
competence based learning
537.
competence-based education
538.
competence-based learning
539.
competency based learning
540.
competency-based approach
541.
component-based design
542.
computer based learning
543.
consumption-based GHG accounting
544.
content-based recommender
545.
contract-based design
546.
copper-based wood preservatives
547.
Cr3C2-based cermet
548.
Cu-based alloy
549.
Cu-based alloys
550.
customer-based brand equity
551.
droplet-based technology
552.
ecosystem-based management
553.
environmentally friendly wood-based panels
554.
event-based control
555.
evidence-based decision making
556.
evidence-based decision-making
557.
feature based machining
558.
feature-based machining
559.
Fe-based alloy
560.
Fe-based amorphous alloy
561.
Fe-based hardfacing
562.
Fenton-based treatment
563.
finitely based
564.
flatness-based control
565.
flow-based modelling
566.
flying inductor based inverter
567.
FPGA based lab kit
568.
FPGA based test
569.
FPGA-based prototyping
570.
fragment-based QSAR
571.
game based learning
572.
game-based learning
573.
GaN-based converters
574.
gelatin-based phantom
575.
graph-based algorithms
576.
graph-based ranking
577.
graphene-based aerogel
578.
GraphSAGE (Graph Based Neural Network)
579.
health-based ventilation
580.
Human-brand based marketing
581.
ICT-based service solutions for senior citizens
582.
image-based
583.
infection risk-based ventilation
584.
institution-based view
585.
internet-based cognitive behavioural theraphy
586.
Internet-based voting
587.
ionic-liquid-based surfactants
588.
IoT-based monitoring
589.
Kalman-filter based maximum power point tracking (KF-MPPT)
590.
knowledge based economy
591.
knowledge based manufacturing
592.
knowledge-based design
593.
knowledge-based economy
594.
knowledge-based manufacturing
595.
knowledge-based system
596.
laser-based additive manufacturing
597.
Laser-based powder bed fusion
598.
lattice-based cryptography
599.
layout-based effects
600.
lime-based plasters
601.
location-based social networks
602.
logic-based distributed routing
603.
LUT-based obfuscation
604.
manganese dioxide based filter material
605.
map-based localization
606.
market-based coordination
607.
market-based innovation
608.
market-based subsidy
609.
metallic-based material
610.
Mg–Ag-based alloy
611.
microbiome-based solutions
612.
nature-based composite
613.
NB-IoT-based edge-ofthings
614.
NetFlow based network monitoring
615.
Ni-based alloy
616.
Ni-based catalyst
617.
Ni-based superalloy
618.
nickel-based superalloys
619.
nikel-based self-fluxing alloy
620.
non-market-based stringency
621.
NPC-based inverter
622.
ontology-based software engineering
623.
open source-based innovation
624.
partial power based on buck-boost resonance converter
625.
partial power based on isolated Z - Source converter(PPZSC)
626.
passivity-based control (PBC)
627.
performance-based design
628.
physically based fire
629.
physically based fires
630.
physics-based compressive sensing
631.
place-based policy
632.
plant-based
633.
plant-based beverage
634.
plant-based foods
635.
plant-based meat analogues
636.
plant-based NADES
637.
plant-based protein
638.
policy-based routing security
639.
pollen-based reconstructions
640.
population-based study
641.
power based control
642.
power-to-gas based storage system
643.
price based control
644.
price based control of industrial processes
645.
priority-based charging and discharging
646.
priority-based-offloading
647.
problem-based learning
648.
Problem-based learning (PBL)
649.
project-based learning
650.
qZS-based DC/DC converter
651.
query-based search
652.
rapeseed oil-based wood preservatives
653.
research-based education
654.
ripple-based control
655.
room unit based ventilation
656.
room-based ventilation
657.
room-based ventilation units
658.
rtioco-based timed test sequences
659.
rule-based algorithm
660.
rule-based classification
661.
rule-based control
662.
rule-based reasoning
663.
rules-based systems
664.
sampling based motion planning
665.
SAT-based attack
666.
scan-based stress
667.
scenario-based experiment
668.
science-based industries
669.
SDN-based IoT management frameworks
670.
session-based recommendation
671.
simulation based static optimization
672.
simulation based TMY
673.
simulationbased decision support
674.
simulation-based verification
675.
software based self-test
676.
software-based self-test
677.
software-based self-test (SBST)
678.
solution based synthesis
679.
solution‐based deposition
680.
space-based solar power
681.
standards-based classfication system
682.
status-based participation
683.
steel-based hardfacing
684.
subscription based interactions
685.
zirconia-based ceramics
686.
ZrC Based Ceramics
687.
ZrC-based composites
688.
task based learning
689.
template based sql generation
690.
Ti(C,N)-Fe-based cermets
691.
Ti(C,N)–Fe-based cermets
692.
TiB-based composite
693.
TiC- 430 L fss-based cermets
694.
TiC based cermets
695.
TiC-based cermet
696.
TiC-based cermets
697.
time-driven activity-based costing
698.
time-driven activity-based costing, TDABC
699.
titanium carbide-based cermets
700.
User-based study
701.
water-based cleaning approaches
702.
water-based paint wastewater
703.
Web and computer-based learning
704.
web-based applications
705.
web-based teaching
706.
web-based training
707.
weight-based collection
708.
weighted score-based ranking
709.
work-based learning
710.
work-based project
subject term
4
1.
Fit Model
2.
General Estuarine Transport Model (GETM)
3.
European Regional Development Fund
4.
International Association for Management Development in Dynamic Societies
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT