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 - keyword
find full texts
Apply
items found: 6
1.
Mudeli-põhine testimine keskkonnaga TestIt: robotite operatsioonisüsteemi juhtumiuuring. Model-Based Testing with TestIt: the Robot Operating System case-study
Gummel, Artur
07.06.2018
master's theses
2.
Event-B ja Uppaali ajaga automaatide vahelise teisenduse realiseerimine. Implementation of Model Transformations Between Event-B and Uppaal Timed Automata
Jain, Shobit
18.01.2021
master's theses
3.
Hajussüsteemide mudelipõhine testimine Tallinna tänavavalgustuse süsteemi näitel. Model-Based Testing of Distributed Systems: Tallinn Streetlight System Case-Study
Kruusamägi, Age
07.06.2016
master's theses
4.
Testimiseesmärkide spetsifitseerimiskeele TDL(TP) interpretaatori implementeerimine. Implementation of an Interpreter for the Test Purpose Specification Language TDL(TP)
Prikk, Tanel
12.06.2019
bachelor's theses
5.
Ajaga automaatide veebipõhine modelleerimiskeskkond. Web-Based Modelling Environment for Timed Automata
Pukk, Jürgo; Sams, Siim; Tõnisson, Jonas
09.06.2021
bachelor's theses
6.
Mudelipõhine hajustestimine Tallinna infosüsteemi Teele näitel. Distributed Model-Based Testing of Tallinn City Information System Teele
Sims, Kairit
29.05.2020
master's theses
items found: 6
1