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/227)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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
225
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.
food waste generation
46.
fourth generation district heating
47.
frequent item generation
48.
generation
49.
generation and transmission expansion planning
50.
Generation Costs
51.
generation of electric energy
52.
generation scheduling
53.
generation succession
54.
heat generation
55.
hydroelectric power generation
56.
hydrogen generation
57.
I–III generation
58.
job generation
59.
knowledge generation
60.
multisine generation
61.
next generation 4D printing
62.
next generation sequencing
63.
Next-generation probiotics
64.
next-generation sequencing
65.
oil-shale power generation
66.
pattern Generation
67.
photovoltaic (PV) generation
68.
photovoltaic generation dispatch
69.
power generation
70.
power generation dispatch
71.
power generation economics
72.
power generation planning
73.
PV generation
74.
PV power generation
75.
Renewable energy generation
76.
renewable generation
77.
residual generation
78.
rule generation
79.
Second generation bioethanol
80.
second generation of tribology models
81.
second generation sequencing
82.
signal generation
83.
silver generation
84.
sixth-generation (6G)
85.
solar power generation
86.
space generation advisory council
87.
template based sql generation
88.
trajectory generation
89.
waste generation
90.
wave generation
91.
WEEE generation
92.
white light generation
93.
wind energy generation
94.
wind generation
95.
wind power generation
96.
16S rRNA gene amplicon next-generation sequencing
97.
4GDH (4th generation district heating)
98.
4th generation district heating
99.
5th generation district heating
100.
accelerated shelf-life test
101.
antigen test
102.
Applications in Test Engineering
103.
ASTM G65 dry sand rubber wheel abrasion test
104.
Automated Synthesis of Software-based Self-test
105.
automated test environment
106.
Auvergne test-bed
107.
battery test
108.
behavioral test
109.
bending test
110.
bit-error rate test
111.
Board and System Test
112.
board test
113.
bounds test
114.
built-in self-test
115.
capillary condensation redistribution test
116.
chi-square test
117.
closed bottle test
118.
cognitive screening test
119.
compartment fire test
120.
compartment test
121.
cone penetration test (CPT)
122.
COVID-19 antigen test
123.
cutting test
124.
cybersecurity test bed
125.
DDR4 interconnect test
126.
design and test
127.
design-for-test
128.
deterministic test sequences
129.
diagnostic test
130.
digital test
131.
Digital test and testable design
132.
double-pulse test
133.
drawing test
134.
dry droplet antimicrobial test
135.
embedded test
136.
fan pressurisation test
137.
final test result prediction
138.
four-point bending test
139.
FPGA based test
140.
FPGA-Assisted Test
141.
FPGA-centric test
142.
functional self-test
143.
Granger causality test
144.
hardness test
145.
high-level synthesis for test
146.
high-speed serial link test
147.
IEEE 9 bus test system
148.
in situ tensile test in SEM
149.
industrial field test
150.
in-situ tensile test in SEM
151.
Johansen cointegration test
152.
Kolmogorov-Smirnov test
153.
load test
154.
logic built-in self-test
155.
Luria alternating series test
156.
Mann–Kendall test
157.
Mann-Kendall trend test
158.
memory interconnect test
159.
microprocessor test
160.
Model test
161.
multiplier test
162.
orthogonal test
163.
package test analysis
164.
parallel design and test
165.
performance test
166.
piezocone penetration test (CPTu)
167.
Point Load Test index
168.
pressurisation test
169.
processor-centric board test
170.
progressive damage test
171.
pseudo-exhaustive test
172.
purity test
173.
real-time room temperature test
174.
rolling thin film oven test
175.
rtioco-based timed test sequences
176.
seasonal Mann Kendall test
177.
seismic piezocone penetration test
178.
self-test
179.
self-test architectures
180.
sentence writing test
181.
serial sevens test
182.
ship towing test tank
183.
similar material simulation test
184.
small-scale fire test
185.
small‐scale test
186.
software based self-test
187.
software-based self-test
188.
software-based self-test (SBST)
189.
soil phosphorus (P) test
190.
standard test method
191.
static load test
192.
static-dynamic probing test (SDT)
193.
stress test
194.
system level test
195.
teaching design and test of systems
196.
tensile test
197.
tensile test
198.
test
199.
test and evaluation platform
200.
test automation
201.
test bench
202.
test coverage
203.
test driven development
204.
test driven modelling
205.
test embankment
206.
test equipment
207.
test groups
208.
test model design
209.
test optimization
210.
test packets
211.
test path synthesis
212.
test patterns
213.
test point insertion
214.
test reference year
215.
test replication
216.
test scenario description language
217.
test-bed
218.
test-chips
219.
test-house
220.
test-pattern
221.
test-suite reduction
222.
Three-point bending test
223.
unit root test
224.
usability platform test
225.
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