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

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce. An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. Formal Asp. Comput., 29(2):251-307, 2017. [doi]

Abstract

Abstract is missing.