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