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)
Contribution to a book, Contribution to a conference proceedings (After Call)

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
Page(s)/Article-Nr.: 266-275