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