Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
pealkiri
Hajustestri genereerimisalgoritmi optimeerimine ja implementeerimine
Optimisation and implementation of distributed tester generation algorithm
autor
Jakobson, Henri
märksõnad
testimine
hajussüsteemid
optimeerimine
Uppaal
bisimulatsioon
model-based testing
distributed systems
real-time systems
optimisation
Uppaal
timed automata
bakalaureusetööd
bisimulation
bachelor's theses
timed automaton
juhendaja
Vain, Jüri
kaitsmiskuupäev
07.06.2022
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of ˇInformation Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science
Laadi alla
pdf
3,45 MB