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