Modeling, analyzing, and monitoring interacting software components

Mario Sangiorgio. Modeling, analyzing, and monitoring interacting software components. PhD thesis, Polytechnic University of Milan, Italy, 2014. [doi]

Abstract

Abstract is missing.