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