Synthesizing and optimizing FDIR recovery strategies from fault trees

Müller, Sascha (Corresponding author); Mikaelyan, Liana; Gerndt, Andreas; Noll, Thomas

Amsterdam [u.a.] : Elsevier Science (2020)
Buchbeitrag, Fachzeitschriftenartikel

In: Science of computer programming
Band: 196
Seite(n)/Artikel-Nr.: 102478

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]