Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees

Cham, Switzerland / Springer (2019) [Contribution to a book, Contribution to a conference proceedings]

Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / Cyrille Artho, Peter Csaba Ölveczky, editors
Page(s): 37-54

Authors

Authors

Mikaelyan, Liana
Müller, Sascha
Gerndt, Andreas
Noll, Thomas

Identifier