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
Otsing
Valitud kirjed
0
offline test generation (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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..
(1/86)
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
86
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.
high-level test data generation
10.
highlevel test generation
11.
implementation-independent test generation
12.
provably correct test generation
13.
test generation
14.
test generation and fault diagnosis
15.
test program generation
16.
offline guessing attacks
17.
offline optimisation
18.
Activity-based demand generation
19.
automatic code generation
20.
Automatic generation control
21.
automatic GUI model generation
22.
building and urban form generation
23.
business model generation
24.
code generation
25.
disaster alert generation
26.
distributed electricity generation
27.
distributed generation
28.
Distributed Generation (DG)
29.
distributed power generation
30.
distrubuted power generation
31.
droplet generation
32.
droplet generation rate control
33.
electric power generation
34.
electricity generation
35.
energy generation
36.
extreme penetration level of non synchronous generation
37.
feasible path generation
38.
fifth generation computer
39.
fourth generation district heating
40.
frequent item generation
41.
generation
42.
generation and transmission expansion planning
43.
Generation Costs
44.
generation of electric energy
45.
generation succession
46.
heat generation
47.
hydroelectric power generation
48.
hydrogen generation
49.
I–III generation
50.
job generation
51.
multisine generation
52.
next generation 4D printing
53.
next generation sequencing
54.
Next-generation probiotics
55.
next-generation sequencing
56.
oil-shale power generation
57.
pattern Generation
58.
photovoltaic (PV) generation
59.
photovoltaic generation dispatch
60.
power generation
61.
power generation dispatch
62.
power generation economics
63.
power generation planning
64.
PV generation
65.
PV power generation
66.
Renewable energy generation
67.
renewable generation
68.
residual generation
69.
Second generation bioethanol
70.
second generation of tribology models
71.
second generation sequencing
72.
silver generation
73.
solar power generation
74.
space generation advisory council
75.
template based sql generation
76.
trajectory generation
77.
waste generation
78.
wave generation
79.
white light generation
80.
wind energy generation
81.
wind generation
82.
wind power generation
83.
16S rRNA gene amplicon next-generation sequencing
84.
4GDH (4th generation district heating)
85.
4th generation district heating
86.
5th generation district heating
×
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