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