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