Mutation-based verification and error correction in high-level designs = Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides

vastutusandmed
Hanno Hantson ; [supervisor Jaan Raik]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
180 lk. : ill
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 106
vormimärksõna
ISSN
1406-4731
ISBN
978-9949-23-853-8
978-9949-23-854-5 (pdf)
märkused
Includes bibliogr
Kokkuõte eesti keeles, lk. 112-113
Autori CV inglise ja eesti keeles, lk. 115-118
Kättesaadav ka võrguteavikuna
Thesis (Ph.D. in Computer and System Engineering) : Tallinn University of Technology, 2015
TTÜ struktuuriüksus
keel
inglise
Hantson, H. Mutation-based verification and error correction in high-level designs = Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides. Tallinn : TUT Press, 2015. 180 lk. : ill. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 106). https://www.ester.ee/record=b4518212*est