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