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 (SSIF 2011)
Datorteknik
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 405