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
Liitotsing
Valitud kirjed
0
component-based design (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Lihtotsing
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/352)
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
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
350
1.
component-based design
2.
component design
3.
contract-based design
4.
knowledge-based design
5.
model-based design
6.
performance-based design
7.
value-based design
8.
design methodology and human-centred design
9.
axisymmetric sheet metal component
10.
blade component
11.
boiler component
12.
component
13.
component additive method
14.
component dependency analysis
15.
Component organised learning (COL)
16.
component safety
17.
component selection
18.
component stress factor
19.
cyclical component
20.
dense component
21.
fast independent component analysis
22.
optimization component
23.
oxychloride component
24.
passive component degradation
25.
passive component integration
26.
PCBA component modeling
27.
Peripheral Component Interconnect (PCI) express bus
28.
principal component analysis
29.
principal component analysis (PCA)
30.
radial velocity component
31.
reduced component count (RCC)
32.
sheet metal component forming
33.
zero-salinity component
34.
temperature effect component
35.
Action design research
36.
algorithm design and theory
37.
algorithmic design
38.
analytical quality by design
39.
animation design
40.
approximate arithmetic design
41.
architectural design
42.
argumentative design
43.
ASIC design
44.
Baroque garden design
45.
battery design
46.
Benign by design
47.
bioinspired design
48.
biomimetic design
49.
Box–Behnken experimental design methodology
50.
breakwater design
51.
building design
52.
building design management
53.
building performance design
54.
C design
55.
Central composite design
56.
ChatGPT in course design
57.
circuit design
58.
circuits design
59.
co-design
60.
co-design strategies
61.
collaborative design
62.
collaborative industry/university education design
63.
compatibility design techniques
64.
computational design
65.
computational design method
66.
computational design methods
67.
computational mechanics and design
68.
computer aided design
69.
computer-aided architectural design (CAAD)
70.
computer-aided design
71.
computer-aided design (CAD)
72.
conceptual design
73.
conformational design
74.
control design
75.
control system design
76.
control systems design
77.
cooling design
78.
cost-effective design
79.
cost-oriented design
80.
course design
81.
courses on electronic testing and design
82.
curriculum design
83.
cylindrical cell design
84.
database design
85.
design
86.
design activity
87.
Design and assessment methods
88.
design and implementation of Performance Management Systems
89.
design and test
90.
design aspects
91.
design automation
92.
design cognition
93.
design collaboration
94.
design day
95.
design development
96.
design dimensions
97.
design domains
98.
design education
99.
design entrepreneurship
100.
design error localization
101.
design errors
102.
design evaluation
103.
design experiments
104.
design exploration
105.
design fiction
106.
design field testing
107.
design flaw
108.
design for disassembly
109.
design for experiments
110.
design for health
111.
design for manufacturability
112.
design for manufacture
113.
design for quality
114.
design for safety
115.
design for testability
116.
design function
117.
design globally-produce locally
118.
design impact
119.
design inefficiencies
120.
design language
121.
design management
122.
design management concept
123.
design management problems
124.
design management training
125.
design measuring
126.
Design method
127.
design methodology
128.
design methods
129.
design model
130.
design modularisation
131.
design modularity
132.
design obfuscation
133.
design of experiments
134.
Design of glass canopy
135.
design optimization
136.
design outdoor conditions
137.
design outdoor temperature
138.
design patterns
139.
design principles of FMS
140.
design process
141.
design quality
142.
design rhetoric
143.
design science
144.
design science research
145.
design skills
146.
design smell
147.
design space
148.
design space exploration
149.
design standards
150.
design structure matrix
151.
design structure matrix technology
152.
design support systems
153.
design system
154.
design tactics
155.
design theory
156.
design thinking
157.
design tools
158.
design understanding
159.
design value
160.
design worlds
161.
design, technologies and economics competencies
162.
Design-by-Contract
163.
design-driven business model
164.
design-driven innovation
165.
design-driven innovations
166.
design-for-test
167.
design-for-testability
168.
design-science
169.
Detector design and construction technologies and materials
170.
DHW Design Flow Rate
171.
Die design
172.
digital design course
173.
digital design education
174.
digital FIR filter design
175.
digital integrated circuit (IC) design
176.
digital learning tool design development
177.
Digital test and testable design
178.
drug design
179.
dual stator design
180.
duct design
181.
early design
182.
early design digital tools
183.
early design phases
184.
early design stages
185.
educational design
186.
electrical machine design
187.
electronic design automation
188.
emerging design practices
189.
Energy Efficiency Design Index (EEDI)
190.
engineering design
191.
envelope design
192.
environmental design
193.
escape room design
194.
evolutive design process
195.
experimental design
196.
facade design
197.
fairway design
198.
fast boat design
199.
fault tolerant router design
200.
fire design
201.
fire design model
202.
fire safety design
203.
FPGA/PSoC design
204.
frequency sampling filter design
205.
generative design
206.
hardware design
207.
hardware/software co-design
208.
health promoting urban planning and design
209.
high-speed design
210.
human-centered design
211.
human-centric design
212.
Hydraulic design
213.
IC Design
214.
immersive design
215.
industrial design
216.
initial planning or design stage
217.
institutional design
218.
institutional quality and design
219.
integrated circuit design
220.
integrated design
221.
integrated design environment
222.
interaction design pattern
223.
inverse design
224.
iterative design
225.
iterative modelling and control design
226.
job design
227.
KMS design
228.
landscape design
229.
lean design
230.
lean design management
231.
learning design
232.
legal design
233.
legal design standards
234.
life cycle assessment in building design
235.
lightweight design
236.
logic design
237.
logistics curriculum design
238.
low-power ASIC design
239.
machine design
240.
magnetic design
241.
market design
242.
materials design
243.
mechanical engineering design
244.
mechanism design
245.
mechanism design theory
246.
mixed-signal design
247.
mixed-use design
248.
model-driven design
249.
molecular design
250.
monitoring and application design
251.
multi-criteria design
252.
multidimensional design
253.
multi-layered curriculum design
254.
multi-objective design
255.
multi-pole model design
256.
nanoelectronic systems design
257.
nano-electronic systems design
258.
object-oriented design
259.
observer design
260.
online design error debug
261.
open design
262.
optimal design
263.
optimal-design
264.
optimization of the mechanical design
265.
package design solution
266.
parallel design and test
267.
parametric design
268.
parametric design optimization
269.
parametric generative design
270.
participatory design
271.
passive design
272.
passive design strategies
273.
passive design strategy
274.
pavement design
275.
pedagogical design model
276.
performance-driven design
277.
performance-driven urban design
278.
physical design
279.
PMS design
280.
policy design
281.
positive energy districts design
282.
power converters design
283.
principle of orthogonal design
284.
privacy by design
285.
proto-theory of design
286.
quality-by-design
287.
Regenerative Design
288.
remote design
289.
research design
290.
resilient urban design
291.
robot design
292.
robust design optimization
293.
safe-by-design
294.
sampling design
295.
satellite design
296.
school design
297.
secure ASIC Design
298.
security-by-design
299.
service and product design
300.
service design
301.
service design (SD)
302.
shelter design evaluation
303.
shift-adds design
304.
signal design
305.
simulations-driven design
306.
size-specific implant design
307.
slotless design
308.
social design
309.
sociotechnical design
310.
soft robot materials and design
311.
software design
312.
solar design
313.
stormwater-resilient urban design
314.
structural fire design
315.
structure of design space
316.
sustainable design
317.
synchronic design process
318.
system analysis and design
319.
system design
320.
target value design
321.
teaching design and test of systems
322.
technical design
323.
technological design
324.
test model design
325.
textile-design
326.
thermal design
327.
timber fire design
328.
time-domain design
329.
touch-free system design
330.
trademark and design law
331.
transaction design
332.
transactional design
333.
universal design
334.
uplink control channel design
335.
urban design
336.
urban design research
337.
urban planning and design
338.
user interface and experience design
339.
user interface design
340.
user-centred design
341.
user-centred design (UCD)
342.
user-driven design processes
343.
value centric design
344.
value-centric design
345.
ventilation design
346.
virtual design and construction
347.
visualization design and evaluation methods
348.
work-holder design
349.
workplace design
350.
voxel-design approach
märksõna
2
1.
Ignis Fire Design Consulting
2.
Legal Design Summit
×
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