Mutation-based verification and error correction in high-level designs = Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides
author
supervisor
statement of authorship
Hanno Hantson ; [supervisor Jaan Raik]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
180 lk. : ill
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 106
subject term
subject of form
ISSN
1406-4731
ISBN
978-9949-23-853-8
978-9949-23-854-5 (pdf)
notes
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Ü department
language
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).