Formal framework for specifying dynamic reconfiguration of adaptive systems

Jaber Karimpour, Robab Alyari, Ali A. Noroozi. Formal framework for specifying dynamic reconfiguration of adaptive systems. IEE Proceedings - Software, 7(5):258-270, 2013. [doi]

Abstract

Abstract is missing.