Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees

Cham, Switzerland / Springer (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 37-54

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern