Techniques for automated localization and correction of design errors

autor
vastutusandmed
Jaan Raik
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 107-118 : ill
keel
inglise
Raik, J. Techniques for automated localization and correction of design errors // CREDES Summer School : Dependable Systems Design : handouts. Tallinn : Tallinna TehnikaĆ¼likool, 2011. p. 107-118 : ill.