A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking

von Menezes, Bruno
Veröffentlicht in SBMF (24. : 2021 : Online) Formal Methods: Foundations and Applications (2021)