Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liana Mikaelyan, Sascha Müller 0005, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Volume 1008 of Communications in Computer and Information Science, pages 37-54, Springer, 2018. [doi]

This author has not been identified. Look up 'Liana Mikaelyan' in GoogleThis author has not been identified. Look up 'Sascha Müller 0005' in GoogleThis author has not been identified. Look up 'Andreas Gerndt' in GoogleThis author has not been identified. Look up 'Thomas Noll' in Google

runs on WebDSL