TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 

Vaadatud 944 kord(a)
Alla laetud 66 kord(a) alates 1.01.2018

(19.3 MB)

Pealkiri Mutation-Based Verification and Error Correction in High-Level Designs. Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides 
Valdkond Informatics and System Engineering C
Informaatika ja süsteemitehnika C 
Autor Hantson, Hanno 
Märksõnad mutation analysis, verification, error correction, high-level designs, dissertations,
mutatsioonianalüüs, verifitseerimine, vigade parandamine, kõrgtaseme skeemid, dissertatsioonid 
Väljaandja TUT Press
TTÜ Kirjastus 
Juhendaja Raik, Jaan 
Kaitsmiskuupäev 12.11.2015 
Identifikaator ISBN 9789949238538 (publication)
ISBN 9789949238545 (pdf)
ISSN 14064731 
Keel eng 
Asutus Tallinn University of Technology
Tallinna Tehnikaülikool 
Teaduskond Faculty of Information Technology
Infotehnoloogia teaduskond 
Instituut / kolledž Department of Computer Engineering
Arvutitehnika instituut