A verification and deployment approach for elastic component-based applications

Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata. A verification and deployment approach for elastic component-based applications. Formal Asp. Comput., 29(6):987-1011, 2017. [doi]

Abstract

Abstract is missing.