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