A formal approach to AADL model-based software engineering

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel. A formal approach to AADL model-based software engineering. STTT, 22(2):219-247, 2020. [doi]

Abstract

Abstract is missing.