Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs

Khan, Shahid; Katoen, Joost-Pieter

Piscataway, NJ : IEEE (2021)
Contribution to a book, Contribution to a conference proceedings

In: [2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing, PRDC, 2021-12-01 - 2021-12-04, Perth, Australia]
Page(s)/Article-Nr.: 113-122