title
Hajussüsteemide mudelipõhine testimine Tallinna tänavavalgustuse süsteemi näitel
Model-Based Testing of Distributed Systems: Tallinn Streetlight System Case-Study
author
Kruusamägi, Age
keywords
mudelipõhine testimine
magistritööd
model-based testing
UPPAAL
DTRON
master's theses
supervisor
Vain, Jüri
study program
IAPM Informaatika
defence date
07.06.2016
language
est
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Arvutiteaduse instituut
Department of Computer Science
subunit
Üldinformaatika õppetool
Chair of General Informatics