A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli. A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. In Wayne Wolf, editor, EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings. pages 237-246, ACM, 2005. [doi]

This author has not been identified. Look up 'Mark L. McKelvin Jr.' in GoogleThis author has not been identified. Look up 'Gabriel Eirea' in GoogleThis author has not been identified. Look up 'Claudio Pinello' in GoogleThis author has not been identified. Look up 'Sri Kanajan' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

runs on WebDSL