Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs

Khan, Shahid; Katoen, Joost-Pieter

Piscataway, NJ : IEEE (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing : PRDC 2021 : proceedings : 1-4 December 2021, Perth, Australia / publisher: IEEE
Seite(n)/Artikel-Nr.: 113-122

Einrichtungen

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