3633891

IN SEARCH OF EFFECTIVE DIVERSITY: A SIX-LANGUAGE STUDY OF FAULT-TOLERANT FLIGHT CONTROL SOFTWARE

A. Avizienis;M.R. Lyu;W. Schutz

1995

6/17/1905 12:00:00 AM

136

"Fault tolerance","Aerospace control","Fault tolerant systems","Aircraft manufacture","Software safety","Laboratories","Software systems","Computer languages","Computer industry","Automatic testing"

ieee

Fault-Tolerant Computing, 1995, Highlights from Twenty-Five Years., Twenty-Fifth International Symposium on

0-8186-7150-5

conf

10.1109/FTCSH.1995.532625

532625