Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
Vali kollektsioon
vali kõik
eemalda valik
artiklid
bakalaureusetööd
digiteeritud perioodika
diplomitööd
doktoritööd
IOP
kaitsmisele minevad doktoritööd
konverentsikogumikud
magistritööd
raamatukogu väljaanded
standardid
teadus- ja arengutegevuse aruanded
Tehnikaülikooli ajalugu
Tehnikaülikooli toimetised
uuringuaruanded
varia
õpikud ja õppevahendid
Pealkiri
Autor/juhendaja/koostaja
Struktuuriüksus
Märksõna
Aasta
-
Reasta
autor A-Z
autor Z-A
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri A-Z
pealkiri Z-A
Register
UPPAAL - märksõna
Kuva ainult täistekste
Rakenda
Kirjeid leitud: 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
magistritööd
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
magistritööd
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
magistritööd
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
bakalaureusetööd
5.
Ajaga automaatide veebipõhine modelleerimiskeskkond. Web-Based Modelling Environment for Timed Automata
Pukk, Jürgo; Sams, Siim; Tõnisson, Jonas
09.06.2021
bakalaureusetööd
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
magistritööd
Kirjeid leitud: 6
1