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
Advanced search
My bookmarks
0
component-based design (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/350)
Export
export all inquiry results
(1)
Save TXT 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
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
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