Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs

Khan, Shahid (Corresponding author); Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc

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

In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing : PRDC 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University
Seite(n)/Artikel-Nr.: 266-275