A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.

Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli

Browse the full EMSOFT paper archive.