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