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