TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 312 kord(a)
Alla laetud 57 kord(a) alates 1.01.2018

(1.5 MB)

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