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

autor
Hantson, Hanno
juhendaja
autor juhendaja
vastutusandmed
Hanno Hantson ; [supervisor Jaan Raik]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
TUT Press
ilmumisaasta
2015
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
märksõna
digitaaltehnika
arvutid
riistvara
diagnostika (tehnika)
verifikatsioon
süsteemianalüüs
veaavastus
silumine (informaatika)
vormimärksõna
dissertatsioonid
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
leitav
https://www.ester.ee/record=b4518212*est
TTÜ struktuuriüksus
arvutitehnika instituut
keel
inglise