Design and analysis of dependable software
Licentiatavhandling, 2001

error detection

error propagation

formal methods

error recovery

software integration

embedded systems metrics

fault injection

executable assertions

Författare

Arshad Jhumka

Institutionen för datorteknik

Ämneskategorier

Datorteknik

Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 405