Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
pealkiri
Hajussüsteemide mudelipõhine testimine Tallinna tänavavalgustuse süsteemi näitel
Model-Based Testing of Distributed Systems: Tallinn Streetlight System Case-Study
autor
Kruusamägi, Age
märksõnad
mudelipõhine testimine
UPPAAL
DTRON
magistritööd
model-based testing
UPPAAL
DTRON
master's theses
juhendaja
Vain, Jüri
kaitsmiskuupäev
07.06.2016
keel
est
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
Faculty of Information Technology
instituut / kolledž
Arvutiteaduse instituut
Department of Computer Science
allüksus
Üldinformaatika õppetool
Chair of General Informatics
Laadi alla täistekst
pdf
1,48 MB