Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Uppaal Timed Automata - keyword
find full texts
Apply
items found: 2
1.
Aspect-Oriented Model-Based Testing. Aspekt-orienteeritud mudeli-põhine testimine
Sarna, Külli
15.11.2018
dissertations
2.
TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus. Provably Correct Test Development for TUT Mektory Nanosatellite Software
Singh, Madhushree
30.05.2018
master's theses
items found: 2
1