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
offline test generation (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
1
Vaata veel..
(2/224)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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
Aspect-oriented Model-based testing with UPPAAL timed automata
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kanter, Gert
Model and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings
2021
/
p. 117-124
https://doi.org/10.1007/978-3-030-78428-7_10
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
222
1.
offline test generation
2.
adaptive test strategy generation
3.
automated test pattern generation
4.
automatic test case generation
5.
automatic test pattern generation
6.
automatic test program generation
7.
behaviour level test generation
8.
functional test generation
9.
Hierarchical Multi-level Test Generation
10.
high-level test data generation
11.
highlevel test generation
12.
implementation-independent test generation
13.
provably correct test generation
14.
test generation
15.
test generation and fault diagnosis
16.
Test Group Generation for Detecting Multiple Faults
17.
test program generation
18.
offline guessing attacks
19.
offline optimisation
20.
Activity-based demand generation
21.
automated code generation
22.
automatic code generation
23.
Automatic generation control
24.
automatic GUI model generation
25.
building and urban form generation
26.
business model generation
27.
code generation
28.
data set generation
29.
decentralized key generation
30.
disaster alert generation
31.
distributed electricity generation
32.
distributed generation
33.
Distributed Generation (DG)
34.
distributed generation systems
35.
distributed power generation
36.
distrubuted power generation
37.
droplet generation
38.
droplet generation rate control
39.
electric power generation
40.
electricity generation
41.
energy generation
42.
extreme penetration level of non synchronous generation
43.
feasible path generation
44.
fifth generation computer
45.
fourth generation district heating
46.
frequent item generation
47.
generation
48.
generation and transmission expansion planning
49.
Generation Costs
50.
generation of electric energy
51.
generation scheduling
52.
generation succession
53.
heat generation
54.
hydroelectric power generation
55.
hydrogen generation
56.
I–III generation
57.
job generation
58.
knowledge generation
59.
multisine generation
60.
next generation 4D printing
61.
next generation sequencing
62.
Next-generation probiotics
63.
next-generation sequencing
64.
oil-shale power generation
65.
pattern Generation
66.
photovoltaic (PV) generation
67.
photovoltaic generation dispatch
68.
power generation
69.
power generation dispatch
70.
power generation economics
71.
power generation planning
72.
PV generation
73.
PV power generation
74.
Renewable energy generation
75.
renewable generation
76.
residual generation
77.
rule generation
78.
Second generation bioethanol
79.
second generation of tribology models
80.
second generation sequencing
81.
signal generation
82.
silver generation
83.
solar power generation
84.
space generation advisory council
85.
template based sql generation
86.
trajectory generation
87.
waste generation
88.
wave generation
89.
white light generation
90.
wind energy generation
91.
wind generation
92.
wind power generation
93.
16S rRNA gene amplicon next-generation sequencing
94.
4GDH (4th generation district heating)
95.
4th generation district heating
96.
5th generation district heating
97.
accelerated shelf-life test
98.
antigen test
99.
Applications in Test Engineering
100.
ASTM G65 dry sand rubber wheel abrasion test
101.
Automated Synthesis of Software-based Self-test
102.
automated test environment
103.
Auvergne test-bed
104.
battery test
105.
behavioral test
106.
bending test
107.
bit-error rate test
108.
Board and System Test
109.
board test
110.
bounds test
111.
built-in self-test
112.
capillary condensation redistribution test
113.
chi-square test
114.
closed bottle test
115.
cognitive screening test
116.
compartment fire test
117.
compartment test
118.
cone penetration test (CPT)
119.
COVID-19 antigen test
120.
cutting test
121.
cybersecurity test bed
122.
DDR4 interconnect test
123.
design and test
124.
design-for-test
125.
deterministic test sequences
126.
diagnostic test
127.
digital test
128.
Digital test and testable design
129.
double-pulse test
130.
drawing test
131.
dry droplet antimicrobial test
132.
embedded test
133.
fan pressurisation test
134.
final test result prediction
135.
four-point bending test
136.
FPGA based test
137.
FPGA-Assisted Test
138.
FPGA-centric test
139.
functional self-test
140.
Granger causality test
141.
hardness test
142.
high-level synthesis for test
143.
high-speed serial link test
144.
IEEE 9 bus test system
145.
in situ tensile test in SEM
146.
industrial field test
147.
in-situ tensile test in SEM
148.
Johansen cointegration test
149.
Kolmogorov-Smirnov test
150.
load test
151.
logic built-in self-test
152.
Luria alternating series test
153.
Mann–Kendall test
154.
Mann-Kendall trend test
155.
memory interconnect test
156.
microprocessor test
157.
Model test
158.
multiplier test
159.
orthogonal test
160.
package test analysis
161.
parallel design and test
162.
performance test
163.
piezocone penetration test (CPTu)
164.
Point Load Test index
165.
pressurisation test
166.
processor-centric board test
167.
progressive damage test
168.
pseudo-exhaustive test
169.
purity test
170.
real-time room temperature test
171.
rolling thin film oven test
172.
rtioco-based timed test sequences
173.
seasonal Mann Kendall test
174.
seismic piezocone penetration test
175.
self-test
176.
self-test architectures
177.
sentence writing test
178.
serial sevens test
179.
ship towing test tank
180.
similar material simulation test
181.
small-scale fire test
182.
small‐scale test
183.
software based self-test
184.
software-based self-test
185.
software-based self-test (SBST)
186.
soil phosphorus (P) test
187.
standard test method
188.
static load test
189.
static-dynamic probing test (SDT)
190.
stress test
191.
system level test
192.
teaching design and test of systems
193.
tensile test
194.
tensile test
195.
test
196.
test and evaluation platform
197.
test automation
198.
test bench
199.
test coverage
200.
test driven development
201.
test driven modelling
202.
test embankment
203.
test equipment
204.
test groups
205.
test model design
206.
test optimization
207.
test packets
208.
test path synthesis
209.
test patterns
210.
test point insertion
211.
test reference year
212.
test replication
213.
test scenario description language
214.
test-bed
215.
test-chips
216.
test-house
217.
test-pattern
218.
test-suite reduction
219.
Three-point bending test
220.
unit root test
221.
usability platform test
222.
1995 ECC benchmark test
märksõna
2
1.
European Test Symposium (ETS)
2.
16PF (test)
×
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