1 paper
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce
This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependab…