| emsoft | participants

Mark L., Jr. McKelvin

EMSOFT 2005: 5th ACM International Conference on Embedded Software

A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems

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