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)
algab
sisaldab
täpne vaste
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)
algab
sisaldab
täpne vaste
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)
algab
sisaldab
täpne vaste
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)
algab
sisaldab
täpne vaste
—
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)
algab
sisaldab
täpne vaste
—
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/350)
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
348
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 test and testable design
177.
drug design
178.
dual stator design
179.
duct design
180.
early design
181.
early design digital tools
182.
early design phases
183.
early design stages
184.
educational design
185.
electrical machine design
186.
electronic design automation
187.
emerging design practices
188.
Energy Efficiency Design Index (EEDI)
189.
engineering design
190.
envelope design
191.
environmental design
192.
escape room design
193.
evolutive design process
194.
experimental design
195.
facade design
196.
fairway design
197.
fast boat design
198.
fault tolerant router design
199.
fire design
200.
fire design model
201.
fire safety design
202.
FPGA/PSoC design
203.
frequency sampling filter design
204.
generative design
205.
hardware design
206.
hardware/software co-design
207.
health promoting urban planning and design
208.
high-speed design
209.
human-centered design
210.
human-centric design
211.
Hydraulic design
212.
IC Design
213.
immersive design
214.
industrial design
215.
initial planning or design stage
216.
institutional design
217.
institutional quality and design
218.
integrated circuit design
219.
integrated design
220.
integrated design environment
221.
interaction design pattern
222.
inverse design
223.
iterative design
224.
iterative modelling and control design
225.
job design
226.
KMS design
227.
landscape design
228.
lean design
229.
lean design management
230.
learning design
231.
legal design
232.
legal design standards
233.
life cycle assessment in building design
234.
lightweight design
235.
logic design
236.
logistics curriculum design
237.
low-power ASIC design
238.
machine design
239.
market design
240.
materials design
241.
mechanical engineering design
242.
mechanism design
243.
mechanism design theory
244.
mixed-signal design
245.
mixed-use design
246.
model-driven design
247.
molecular design
248.
monitoring and application design
249.
multi-criteria design
250.
multidimensional design
251.
multi-layered curriculum design
252.
multi-objective design
253.
multi-pole model design
254.
nanoelectronic systems design
255.
nano-electronic systems design
256.
object-oriented design
257.
observer design
258.
online design error debug
259.
open design
260.
optimal design
261.
optimal-design
262.
optimization of the mechanical design
263.
package design solution
264.
parallel design and test
265.
parametric design
266.
parametric design optimization
267.
parametric generative design
268.
participatory design
269.
passive design
270.
passive design strategies
271.
passive design strategy
272.
pavement design
273.
pedagogical design model
274.
performance-driven design
275.
performance-driven urban design
276.
physical design
277.
PMS design
278.
policy design
279.
positive energy districts design
280.
power converters design
281.
principle of orthogonal design
282.
privacy by design
283.
proto-theory of design
284.
quality-by-design
285.
Regenerative Design
286.
remote design
287.
research design
288.
resilient urban design
289.
robot design
290.
robust design optimization
291.
safe-by-design
292.
sampling design
293.
satellite design
294.
school design
295.
secure ASIC Design
296.
security-by-design
297.
service and product design
298.
service design
299.
service design (SD)
300.
shelter design evaluation
301.
shift-adds design
302.
signal design
303.
simulations-driven design
304.
size-specific implant design
305.
slotless design
306.
social design
307.
sociotechnical design
308.
soft robot materials and design
309.
software design
310.
solar design
311.
stormwater-resilient urban design
312.
structural fire design
313.
structure of design space
314.
sustainable design
315.
synchronic design process
316.
system analysis and design
317.
system design
318.
target value design
319.
teaching design and test of systems
320.
technical design
321.
technological design
322.
test model design
323.
textile-design
324.
thermal design
325.
timber fire design
326.
time-domain design
327.
touch-free system design
328.
trademark and design law
329.
transaction design
330.
transactional design
331.
universal design
332.
uplink control channel design
333.
urban design
334.
urban design research
335.
urban planning and design
336.
user interface and experience design
337.
user interface design
338.
user-centred design
339.
user-centred design (UCD)
340.
user-driven design processes
341.
value centric design
342.
value-centric design
343.
ventilation design
344.
virtual design and construction
345.
visualization design and evaluation methods
346.
work-holder design
347.
workplace design
348.
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