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
magistritööd
model-based testing
UPPAAL
DTRON
master's theses
juhendaja
Vain, Jüri
õppekava
IAPM Informaatika
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