Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Design-by-Contract (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(2/289)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
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
artikkel kogumikus
2
artikkel kogumikus
Multi-view modeling for MPSoC design aspects [Online resource]
Vain, Jüri
;
Apneet Kaur
;
Tsiopoulos, Leonidas
;
Raik, Jaan
;
Jenihhin, Maksim
BEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 2018
2018
/
4 p.: ill
https://doi.org/10.1109/BEC.2018.8600986
artikkel kogumikus
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
288
1.
Design-by-Contract
2.
contract-based design
3.
contract for difference (CfD)
4.
contract specificity
5.
contract workforce
6.
hybrid smart-contract agreement
7.
life cycle contract
8.
maritime energy contract
9.
psychological contract
10.
ricardian contract
11.
smart contract
12.
smart contract language
13.
temporal contract
14.
design methodology and human-centred design
15.
Action design research
16.
algorithm design and theory
17.
animation design
18.
architectural design
19.
argumentative design
20.
ASIC design
21.
Baroque garden design
22.
battery design
23.
Benign by design
24.
bioinspired design
25.
biomimetic design
26.
Box–Behnken experimental design methodology
27.
building design
28.
building design management
29.
building performance design
30.
C design
31.
Central composite design
32.
co-design
33.
co-design strategies
34.
collaborative design
35.
compatibility design techniques
36.
component design
37.
component-based design
38.
computational design
39.
computational design method
40.
computational design methods
41.
computational mechanics and design
42.
computer aided design
43.
computer-aided architectural design (CAAD)
44.
computer-aided design
45.
conceptual design
46.
conformational design
47.
control design
48.
control system design
49.
control systems design
50.
cooling design
51.
cost-effective design
52.
cost-oriented design
53.
course design
54.
courses on electronic testing and design
55.
curriculum design
56.
cylindrical cell design
57.
database design
58.
design
59.
design activity
60.
Design and assessment methods
61.
design and implementation of Performance Management Systems
62.
design and test
63.
design aspects
64.
design automation
65.
design cognition
66.
design collaboration
67.
design development
68.
design dimensions
69.
design domains
70.
design education
71.
design entrepreneurship
72.
design error localization
73.
design errors
74.
design evaluation
75.
design experiments
76.
design exploration
77.
design field testing
78.
design flaw
79.
design for disassembly
80.
design for experiments
81.
design for health
82.
design for manufacturability
83.
design for manufacture
84.
design for quality
85.
design for testability
86.
design function
87.
design globally-produce locally
88.
design impact
89.
design inefficiencies
90.
design language
91.
design management
92.
design management concept
93.
design management problems
94.
design measuring
95.
Design method
96.
design methodology
97.
design methods
98.
design model
99.
design modularisation
100.
design modularity
101.
design obfuscation
102.
design of experiments
103.
Design of glass canopy
104.
design optimization
105.
design outdoor conditions
106.
design outdoor temperature
107.
design patterns
108.
design principles of FMS
109.
design process
110.
design quality
111.
design rhetoric
112.
design science
113.
design science research
114.
design skills
115.
design smell
116.
design space
117.
design space exploration
118.
design standards
119.
design structure matrix
120.
design structure matrix technology
121.
design support systems
122.
design system
123.
design tactics
124.
design theory
125.
design thinking
126.
design tools
127.
design understanding
128.
design value
129.
design worlds
130.
design, technologies and economics competencies
131.
design-driven business model
132.
design-driven innovation
133.
design-driven innovations
134.
design-for-test
135.
design-for-testability
136.
design-science
137.
DHW Design Flow Rate
138.
digital design course
139.
digital design education
140.
digital FIR filter design
141.
digital integrated circuit (IC) design
142.
Digital test and testable design
143.
duct design
144.
early design
145.
early design digital tools
146.
early design phases
147.
early design stages
148.
educational design
149.
electrical machine design
150.
emerging design practices
151.
Energy Efficiency Design Index (EEDI)
152.
engineering design
153.
envelope design
154.
environmental design
155.
evolutive design process
156.
experimental design
157.
facade design
158.
fairway design
159.
fast boat design
160.
fault tolerant router design
161.
fire design
162.
fire design model
163.
fire safety design
164.
FPGA/PSoC design
165.
frequency sampling filter design
166.
generative design
167.
hardware design
168.
hardware/software co-design
169.
health promoting urban planning and design
170.
high-speed design
171.
human-centric design
172.
Hydraulic design
173.
IC Design
174.
industrial design
175.
initial planning or design stage
176.
institutional design
177.
institutional quality and design
178.
integrated circuit design
179.
integrated design
180.
integrated design environment
181.
interaction design pattern
182.
iterative design
183.
iterative modelling and control design
184.
job design
185.
KMS design
186.
knowledge-based design
187.
landscape design
188.
lean design
189.
lean design management
190.
learning design
191.
legal design standards
192.
logic design
193.
logistics curriculum design
194.
low-power ASIC design
195.
machine design
196.
market design
197.
materials design
198.
mechanical engineering design
199.
mechanism design
200.
mechanism design theory
201.
mixed-signal design
202.
mixed-use design
203.
model-driven design
204.
molecular design
205.
monitoring and application design
206.
multi-criteria design
207.
multidimensional design
208.
multi-layered curriculum design
209.
multi-pole model design
210.
nanoelectronic systems design
211.
nano-electronic systems design
212.
object-oriented design
213.
observer design
214.
open design
215.
optimal design
216.
optimal-design
217.
optimization of the mechanical design
218.
package design solution
219.
parallel design and test
220.
parametric design
221.
parametric generative design
222.
participatory design
223.
passive design
224.
passive design strategies
225.
passive design strategy
226.
pavement design
227.
performance-based design
228.
performance-driven design
229.
performance-driven urban design
230.
physical design
231.
PMS design
232.
policy design
233.
positive energy districts design
234.
power converters design
235.
principle of orthogonal design
236.
proto-theory of design
237.
quality-by-design
238.
Regenerative Design
239.
remote design
240.
research design
241.
resilient urban design
242.
robot design
243.
robust design optimization
244.
safe-by-design
245.
sampling design
246.
satellite design
247.
secure ASIC Design
248.
service and product design
249.
service design
250.
service design (SD)
251.
shelter design evaluation
252.
shift-adds design
253.
signal design
254.
simulations-driven design
255.
slotless design
256.
social design
257.
soft robot materials and design
258.
software design
259.
solar design
260.
stormwater-resilient urban design
261.
structural fire design
262.
structure of design space
263.
sustainable design
264.
synchronic design process
265.
system design
266.
teaching design and test of systems
267.
technical design
268.
test model design
269.
textile-design
270.
thermal design
271.
trademark and design law
272.
transaction design
273.
transactional design
274.
universal design
275.
uplink control channel design
276.
urban design
277.
urban design research
278.
urban planning and design
279.
user-centred design
280.
user-driven design processes
281.
value centric design
282.
value-centric design
283.
ventilation design
284.
virtual design and construction
285.
visualization design and evaluation methods
286.
work-holder design
287.
workplace design
288.
voxel-design approach
märksõna
1
1.
Legal Design Summit
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT