The Galileo Fault Tree Analysis Tool (1999)

by K J Sullivan, J B Dugan, D Coppit
Venue:In Proc. Symposium on Fault-Tolerant Computing (FTCS