On the application of data diversity in dependable flight control systems
Licentiatavhandling, 1994
data diversity
Markov modellling
self-checking
simulation-based fault injection
Heisenbugs
software design faults
error recovery
Författare
Jörgen Christmansson
Institutionen för datorteknik
Ämneskategorier (SSIF 2011)
Datorteknik
ISBN
91-7032-935-4
Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. : 171