Architecture Conformance Checking in KDM-represented Adaptive Systems (Submitted)

Daniel Santibanez, Guisella Angulo, Valter V. de Camargo

January, 2022