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-based development (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/709)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF 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
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
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
705
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 methods
239.
model-scale experiments
240.
modulated finite control set-model predictive control
241.
multi model ensemble (MME)
242.
multidomain language model
243.
multi-loop model reference control
244.
multiplicative neuron model
245.
multi-pole mathematical model
246.
multi-pole model
247.
multi-pole model design
248.
natural background model
249.
Neyman-Pearson model
250.
NKG2015 geoid model
251.
NN-ANARX model
252.
nonlinear model identification
253.
nonlinear model predictive control
254.
nonlinear time-varying factor model
255.
non-thermal model
256.
Nonthermal model
257.
NSPT model
258.
object model
259.
ocean-sea-ice model
260.
open architecture model
261.
open-economy dynamic general equilibrium model
262.
openEHR RM (Reference Model)
263.
optimal model
264.
panel threshold model
265.
panel vector autoregressive model (VAR)
266.
parallel reaction model
267.
path loss model
268.
Peirce’s triadic model
269.
Peirce's model
270.
photodiode model
271.
PLM maturity model
272.
plume model
273.
POM model
274.
population balance model
275.
Porter’s diamond model
276.
power loss model
277.
power market model
278.
prediction model
279.
predictive model
280.
pre-trained model
281.
price-sensitive model of flexible equipment
282.
Princeton Ocean Model
283.
Probabilistic Graph Model (PGM)
284.
probabilistic model
285.
process model
286.
Quadruple Helix Model
287.
recurrent neural network language model
288.
reduced order model
289.
reference model
290.
reputation model
291.
residential electricity consumption model
292.
Residual Terrain Model (RTM) anomaly
293.
residual terrain model anomaly
294.
retaining research financing, changes in salary rules; new academic career model
295.
Reynolds stress turbulence model
296.
Richardson Maturity Model
297.
risk evaluation model
298.
risk management model
299.
scalar model
300.
Scott-Kennel model
301.
security model
302.
shared mental model
303.
SHEL model
304.
ship model basin
305.
simplified model
306.
simulating waves nearshore (SWAN) model
307.
simulation model
308.
simulink model
309.
single-cell model
310.
sliding model control
311.
small-signal model
312.
SOILN model
313.
specific energy model
314.
standard cost model
315.
statistical model residuals
316.
Storm Water Management Model (SWMM5)
317.
Straussian theory model
318.
structural model
319.
stuck-at fault model
320.
supply chain model framework
321.
supply chain operations reference (SCOR) model
322.
sustainability model framework
323.
SWAN model
324.
Zimbabwe agro-pastoral management model
325.
ZIP model
326.
zonal model
327.
teaching model
328.
technology acceptance model
329.
Technology Acceptance Model (TAM)
330.
tender evaluation model
331.
test model design
332.
The Baltic Sea Model Intercomparison Project (BMIP)
333.
the model of non-technical competences
334.
thermal model
335.
tobit regression model
336.
trade gravity model
337.
transnational model
338.
transport model
339.
transportation model
340.
tunnelling‐percolation model
341.
turn model
342.
two-dimensional model
343.
two-factor model
344.
Ulrich HR roles model
345.
ultralocal model (ULM) control
346.
Uppaal model-checker
347.
user behavioral model
348.
user dialogue model
349.
utility model
350.
validation of simulation model
351.
value-centric model
352.
wave model
353.
Vector Error Correction Model
354.
vector space model
355.
Wells-Riley model
356.
verification by model checking
357.
whole-cell model
358.
Viable Systems Model
359.
wind force model
360.
VRH model
361.
3D model
362.
academic development in the Baltic countries
363.
agile development
364.
alloy systems and alloy development
365.
anther development
366.
barriers of development
367.
Bologna development
368.
brain development
369.
business development
370.
business development models
371.
capability development techniques
372.
capacity development
373.
career development
374.
child development
375.
client-vendor relationship in software development
376.
collaborative development
377.
commercial development
378.
community development
379.
comparative economic development
380.
complementary development
381.
continuing professional development
382.
course development
383.
curricula development
384.
curriculum development
385.
design development
386.
development
387.
development and humanitarian aid
388.
development banks
389.
development economics
390.
development funding
391.
development of accounting
392.
development of economic thought
393.
development of LBS
394.
development of security cameras
395.
development of SMEs
396.
development of the European building process
397.
development path
398.
development policy
399.
development processes
400.
development studies
401.
Development support
402.
development theory
403.
digital development of the EU
404.
Digital Government Theory: Development and Application
405.
DSL development
406.
dune development
407.
dynamic capabilities development
408.
Economic Development
409.
economic development policy
410.
education for sustainable development
411.
embryonic development
412.
entrepreneurship development
413.
European e-development
414.
European Union development
415.
European values and digital development
416.
exploit development
417.
faculty development
418.
financial development
419.
flower development
420.
framework development
421.
groundwater development
422.
housing development
423.
hub development
424.
human development
425.
human resource development
426.
Information and Communication Technologies for Development
427.
information systems development
428.
institutional development
429.
Internet development
430.
IT and product development
431.
lean development
432.
Lean Product Development
433.
logistics hub development
434.
low-code development
435.
management development
436.
media development
437.
NB-IoT development platform
438.
neural development
439.
new product development
440.
Nunavut natural resource development
441.
ontology driven software development
442.
personal development
443.
policy development
444.
product and service development
445.
product development
446.
programme development
447.
public infrastructural development
448.
R&D (research and development)
449.
region business culture and development
450.
regional development
451.
research and development
452.
research and development (R&D)
453.
research and development jobs
454.
rural development
455.
safety development
456.
scale development
457.
self-development
458.
skills development
459.
smart city development
460.
smart rural development
461.
smart transport development
462.
social development
463.
social self-development
464.
socio-economic development
465.
software development
466.
software development concepts
467.
spread and development of new policy instruments (environmental taxes and charges system)
468.
sustainable development
469.
Sustainable Development Goals
470.
sustainable development management
471.
sustainable production development
472.
sustainable spatial development
473.
sustainable tourism development
474.
sustainable urban development
475.
synbio development
476.
test driven development
477.
theory of economic development
478.
tourism development
479.
United Nations Sustainable Development Goals
480.
urban development
481.
use-development communication
482.
user interface development
483.
accelerator-based architecture
484.
Active chitosan-based film
485.
activity based modelling
486.
activity-based cost estimating
487.
activity-based costing
488.
Activity-based demand generation
489.
Adaptive network-based fuzzy inference system (ANFIS)
490.
address-based sorting
491.
agent-based modeling
492.
agent-based models
493.
AI based CAD software
494.
AI-based worker management
495.
Al based hard PVD coating
496.
al-based alloy
497.
Al-based alloys
498.
Al-based composite
499.
Al-based composites
500.
algorithm-based decision
501.
aluminum based composite
502.
app-based mobile financial services
503.
area‐based composite correlations method
504.
assertion-based verification
505.
beam-based feedback
506.
Bi and Fe-based barium titanate
507.
Bio-Based
508.
bio-based and biodegradable plastics market
509.
Bio-based film-forming solution
510.
bio-based materials
511.
bio‐based materials
512.
biogeography based optimization
513.
bioimpedance based sensing
514.
bioimpedance-based sensing
515.
bisection based optimal power allocation
516.
block-based merge
517.
borrower-based policy measures
518.
carbon based materials
519.
carbon-based materials
520.
chitosan-based film
521.
chromium carbide-based cermets
522.
clay-based ceramics
523.
climate based daylight modelling
524.
climate-based simulations
525.
cloud- and AI-based system
526.
cloud-based cyber-physical systems (C2PS)
527.
commons based peer production
528.
commons-based innovation
529.
commons-based peer production (CBPP)
530.
Community-based research
531.
comparison-based
532.
competence based learning
533.
competence-based education
534.
competence-based learning
535.
competency based learning
536.
competency-based approach
537.
component-based design
538.
computer based learning
539.
consumption-based GHG accounting
540.
content-based recommender
541.
contract-based design
542.
copper-based wood preservatives
543.
Cr3C2-based cermet
544.
Cu-based alloy
545.
Cu-based alloys
546.
customer-based brand equity
547.
droplet-based technology
548.
ecosystem-based management
549.
environmentally friendly wood-based panels
550.
event-based control
551.
evidence-based decision making
552.
evidence-based decision-making
553.
feature based machining
554.
feature-based machining
555.
Fe-based alloy
556.
Fe-based amorphous alloy
557.
Fe-based hardfacing
558.
Fenton-based treatment
559.
finitely based
560.
flatness-based control
561.
flow-based modelling
562.
flying inductor based inverter
563.
FPGA based lab kit
564.
FPGA based test
565.
FPGA-based prototyping
566.
fragment-based QSAR
567.
game based learning
568.
game-based learning
569.
gelatin-based phantom
570.
graph-based algorithms
571.
graph-based ranking
572.
graphene-based aerogel
573.
GraphSAGE (Graph Based Neural Network)
574.
health-based ventilation
575.
Human-brand based marketing
576.
ICT-based service solutions for senior citizens
577.
image-based
578.
infection risk-based ventilation
579.
institution-based view
580.
internet-based cognitive behavioural theraphy
581.
Internet-based voting
582.
ionic-liquid-based surfactants
583.
IoT-based monitoring
584.
Kalman-filter based maximum power point tracking (KF-MPPT)
585.
knowledge based economy
586.
knowledge based manufacturing
587.
knowledge-based design
588.
knowledge-based economy
589.
knowledge-based manufacturing
590.
knowledge-based system
591.
laser-based additive manufacturing
592.
Laser-based powder bed fusion
593.
lattice-based cryptography
594.
layout-based effects
595.
lime-based plasters
596.
location-based social networks
597.
logic-based distributed routing
598.
LUT-based obfuscation
599.
manganese dioxide based filter material
600.
map-based localization
601.
market-based coordination
602.
market-based innovation
603.
market-based subsidy
604.
metallic-based material
605.
Mg–Ag-based alloy
606.
microbiome-based solutions
607.
nature-based composite
608.
NB-IoT-based edge-ofthings
609.
NetFlow based network monitoring
610.
Ni-based alloy
611.
Ni-based catalyst
612.
Ni-based superalloy
613.
nickel-based superalloys
614.
nikel-based self-fluxing alloy
615.
non-market-based stringency
616.
NPC-based inverter
617.
ontology-based software engineering
618.
open source-based innovation
619.
partial power based on buck-boost resonance converter
620.
partial power based on isolated Z - Source converter(PPZSC)
621.
passivity-based control (PBC)
622.
performance-based design
623.
physically based fire
624.
physically based fires
625.
physics-based compressive sensing
626.
place-based policy
627.
plant-based
628.
plant-based beverage
629.
plant-based foods
630.
plant-based meat analogues
631.
plant-based NADES
632.
plant-based protein
633.
policy-based routing security
634.
pollen-based reconstructions
635.
population-based study
636.
power based control
637.
power-to-gas based storage system
638.
price based control
639.
price based control of industrial processes
640.
priority-based charging and discharging
641.
priority-based-offloading
642.
problem-based learning
643.
Problem-based learning (PBL)
644.
project-based learning
645.
qZS-based DC/DC converter
646.
query-based search
647.
rapeseed oil-based wood preservatives
648.
research-based education
649.
ripple-based control
650.
room unit based ventilation
651.
room-based ventilation
652.
room-based ventilation units
653.
rtioco-based timed test sequences
654.
rule-based algorithm
655.
rule-based classification
656.
rule-based control
657.
rule-based reasoning
658.
rules-based systems
659.
sampling based motion planning
660.
SAT-based attack
661.
scan-based stress
662.
scenario-based experiment
663.
science-based industries
664.
SDN-based IoT management frameworks
665.
session-based recommendation
666.
simulation based static optimization
667.
simulation based TMY
668.
simulationbased decision support
669.
simulation-based verification
670.
software based self-test
671.
software-based self-test
672.
software-based self-test (SBST)
673.
solution based synthesis
674.
solution‐based deposition
675.
space-based solar power
676.
standards-based classfication system
677.
status-based participation
678.
steel-based hardfacing
679.
subscription based interactions
680.
zirconia-based ceramics
681.
ZrC Based Ceramics
682.
ZrC-based composites
683.
task based learning
684.
template based sql generation
685.
Ti(C,N)-Fe-based cermets
686.
Ti(C,N)–Fe-based cermets
687.
TiB-based composite
688.
TiC- 430 L fss-based cermets
689.
TiC based cermets
690.
TiC-based cermet
691.
TiC-based cermets
692.
time-driven activity-based costing
693.
time-driven activity-based costing, TDABC
694.
titanium carbide-based cermets
695.
User-based study
696.
water-based cleaning approaches
697.
water-based paint wastewater
698.
Web and computer-based learning
699.
web-based applications
700.
web-based teaching
701.
web-based training
702.
weight-based collection
703.
weighted score-based ranking
704.
work-based learning
705.
work-based project
märksõna
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
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