Keywords :
"Fault tolerance","Aerospace control","Fault tolerant systems","Aircraft manufacture","Software safety","Laboratories","Software systems","Computer languages","Computer industry","Automatic testing"
Conference_Titel :
Fault-Tolerant Computing, 1995, Highlights from Twenty-Five Years., Twenty-Fifth International Symposium on