Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
title
Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine
Optimisation and implementation of distributed tester generation algorithm
author
Jakobson, Henri
keywords
testimine
hajussüsteemid
optimeerimine
Uppaal
bisimulatsioon
model-based testing
distributed systems
real-time systems
optimisation
Uppaal
timed automata
bisimulation
bakalaureusetööd
bachelor's theses
timed automaton
supervisor
Vain, Jüri
defence date
07.06.2022
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
School of ˇInformation Technologies
department / college
Tarkvarateaduse instituut
Department of Software Science
Download
pdf
3,45 MB