TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 51 kord(a)
Alla laetud 22 kord(a)

(2.1 MB)

Pealkiri TTÜ Mektory nanosatelliidi tarkvara testide tõestatavalt korrektne arendus. Provably Correct Test Development for TUT Mektory Nanosatellite Software 
Autor Singh, Madhushree 
Märksõnad mudeli-põhine testimine, testi verifitseerimine, Uppaali ajaga automaadid, TTÜ Mekory nanosatelliidi tarkvara, magistritööd
model-based testing, test verification, Uppaal Timed Automata, TUT Mektory Nanosatellite Software, master's theses 
Juhendaja Vain, Jüri 
Kaitsmiskuupäev 30.05.2018 
Keel eng 
Asutus Tallinna Tehnikaülikool
Tallinn University of Technology 
Teaduskond Infotehnoloogia teaduskond
School of Information Technology 
Instituut / kolledž Tarkvarateaduse instituut
Department of Software Science