Application of formal methods to fault injection & coverage factor calculation

Författare
Luis Andreas Torres Klauwer
(Luis Andreas Torres Klauwer.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Chalmers tekniska högskola 2006 Sverige, Göteborg 46 sidor. ill.