Design and analysis of dependable software
Licentiate thesis, 2001
error detection
error propagation
formal methods
error recovery
software integration
embedded systems metrics
fault injection
executable assertions
Author
Arshad Jhumka
Department of Computer Engineering
Subject Categories
Computer Engineering
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 405