Mutation-Based Verification and Error Correction in High-Level Designs

Hantson, Hanno (2015). Mutation-Based Verification and Error Correction in High-Level Designs. (Tallinna Tehnikaülikool). Tallinn University of Technology Press.
dissertatsioon
Hantson, Hanno
  • Inglise
Mutatsioonidel põhinev verifitseerimine ja vigade parandamine kõrgtaseme skeemides
Tallinna Tehnikaülikool
Tallinn University of Technology Press
2015
180
Ilmunud
2.3. Dissertatsioonide seerias ilmunud dissertatsioonid (v.a. käsikirjalised);

Viited terviktekstile