Formal modelling and analysis of dynamic reconfiguration of dependable systems

Anirban Bhattacharyya. Formal modelling and analysis of dynamic reconfiguration of dependable systems. PhD thesis, University of Newcastle Upon Tyne, UK, 2013. [doi]

Abstract

Abstract is missing.