An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

From MaRDI portal
(Redirected from Publication:520240)