Stacy A. Doyle

A combinatorial approach to modeling imperfect coverage

Joanne Bechta Dugan, F. A. Patterson-Hine, Stacy A. Doyle, 1995 .

Analyzing fault tolerance using DREDD (Dependability and Risk Evaluation using Decision Diagrams)

Joanne Bechta Dugan, S. A. Doyle, Stacy A. Doyle, 1995 .

A quantitative analysis of the F18 flight control system

Ann Patterson-Hine, Joanne Bechta Dugan, Stacy A. Doyle, 1993 .

Dependability assessment using binary decision diagrams (BDDs)

Joanne Bechta Dugan, Stacy A. Doyle, 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

A Combinatorial Approach to

Joanne Bechta Dugan, S. A. Doyle, F. A. Patterson-Hine, 1995 .

Dependability analysis of fault-tolerant systems: a new look at combinatorial modeling

Joanne Bechta Dugan, Stacy A. Doyle, 1995 .