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