Shahid Khan 0002, Joost-Pieter Katoen. Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs. In 26th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2021, Perth, Australia, December 1-4, 2021. pages 113-122, IEEE, 2021. [doi]
Abstract is missing.