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/295)
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
294
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 field testing
90.
design flaw
91.
design for disassembly
92.
design for experiments
93.
design for health
94.
design for manufacturability
95.
design for manufacture
96.
design for quality
97.
design for testability
98.
design function
99.
design globally-produce locally
100.
design impact
101.
design inefficiencies
102.
design language
103.
design management
104.
design management concept
105.
design management problems
106.
design measuring
107.
Design method
108.
design methodology
109.
design methods
110.
design model
111.
design modularisation
112.
design modularity
113.
design obfuscation
114.
design of experiments
115.
Design of glass canopy
116.
design optimization
117.
design outdoor conditions
118.
design outdoor temperature
119.
design patterns
120.
design principles of FMS
121.
design process
122.
design quality
123.
design rhetoric
124.
design science
125.
design science research
126.
design skills
127.
design smell
128.
design space
129.
design space exploration
130.
design standards
131.
design structure matrix
132.
design structure matrix technology
133.
design support systems
134.
design system
135.
design tactics
136.
design theory
137.
design thinking
138.
design tools
139.
design understanding
140.
design value
141.
design worlds
142.
design, technologies and economics competencies
143.
Design-by-Contract
144.
design-driven business model
145.
design-driven innovation
146.
design-driven innovations
147.
design-for-test
148.
design-for-testability
149.
design-science
150.
DHW Design Flow Rate
151.
digital design course
152.
digital design education
153.
digital FIR filter design
154.
digital integrated circuit (IC) design
155.
Digital test and testable design
156.
duct design
157.
early design
158.
early design digital tools
159.
early design phases
160.
early design stages
161.
educational design
162.
electrical machine design
163.
emerging design practices
164.
Energy Efficiency Design Index (EEDI)
165.
engineering design
166.
envelope design
167.
environmental design
168.
evolutive design process
169.
experimental design
170.
facade design
171.
fairway design
172.
fault tolerant router design
173.
fire design
174.
fire design model
175.
fire safety design
176.
FPGA/PSoC design
177.
frequency sampling filter design
178.
generative design
179.
hardware design
180.
hardware/software co-design
181.
health promoting urban planning and design
182.
high-speed design
183.
human-centric design
184.
Hydraulic design
185.
industrial design
186.
initial planning or design stage
187.
institutional design
188.
institutional quality and design
189.
integrated circuit design
190.
integrated design
191.
integrated design environment
192.
interaction design pattern
193.
iterative design
194.
iterative modelling and control design
195.
job design
196.
KMS design
197.
landscape design
198.
lean design
199.
lean design management
200.
legal design standards
201.
logic design
202.
logistics curriculum design
203.
low-power ASIC design
204.
machine design
205.
market design
206.
materials design
207.
mechanical engineering design
208.
mechanism design
209.
mechanism design theory
210.
mixed-signal design
211.
mixed-use design
212.
model-driven design
213.
molecular design
214.
monitoring and application design
215.
multi-criteria design
216.
multidimensional design
217.
multi-layered curriculum design
218.
multi-pole model design
219.
nanoelectronic systems design
220.
nano-electronic systems design
221.
object-oriented design
222.
observer design
223.
open design
224.
optimal design
225.
optimal-design
226.
optimization of the mechanical design
227.
package design solution
228.
parallel design and test
229.
parametric design
230.
parametric generative design
231.
participatory design
232.
passive design
233.
passive design strategies
234.
passive design strategy
235.
pavement design
236.
performance-driven design
237.
performance-driven urban design
238.
physical design
239.
PMS design
240.
policy design
241.
positive energy districts design
242.
power converters design
243.
principle of orthogonal design
244.
proto-theory of design
245.
quality-by-design
246.
Regenerative Design
247.
remote design
248.
research design
249.
resilient urban design
250.
robot design
251.
robust design optimization
252.
safe-by-design
253.
sampling design
254.
satellite design
255.
secure ASIC Design
256.
service and product design
257.
service design
258.
service design (SD)
259.
shelter design evaluation
260.
shift-adds design
261.
signal design
262.
slotless design
263.
social design
264.
soft robot materials and design
265.
software design
266.
solar design
267.
stormwater-resilient urban design
268.
structural fire design
269.
structure of design space
270.
sustainable design
271.
synchronic design process
272.
system design
273.
teaching design and test of systems
274.
technical design
275.
test model design
276.
textile-design
277.
thermal design
278.
trademark and design law
279.
transaction design
280.
transactional design
281.
uplink control channel design
282.
urban design
283.
urban design research
284.
urban planning and design
285.
user-centred design
286.
user-driven design processes
287.
value centric design
288.
value-centric design
289.
ventilation design
290.
virtual design and construction
291.
visualization design and evaluation methods
292.
work-holder design
293.
workplace design
294.
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