R. W. Butler

The SURE reliability analysis program

R. W. Butler, 1986 .

FTC - THE FAULT-TREE COMPILER (SUN VERSION)

R. W. Butler, 1994 .

SIFT - A preliminary evaluation. [Software Implemented Fault Tolerant computer for aircraft control]

D. L. Palumbo, R. W. Butler, 1983 .

FTC - THE FAULT-TREE COMPILER (VAX VMS VERSION)

R. W. Butler, 1994 .

A Performance Evaluation of the Software-Implemented Fault-Tolerance Computer

D. L. Palumbo, R. W. Butler, R. Butler, 1986 .

SARA - SURE/ASSIST RELIABILITY ANALYSIS WORKSTATION (UNIX VERSION)

R. W. Butler, 1994 .