Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs.

Shahid Khan, Joost-Pieter Katoen

Browse the full PRDC paper archive.