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