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]

Authors

Hana Mkaouar

This author has not been identified. Look up 'Hana Mkaouar' in Google

Bechir Zalila

This author has not been identified. Look up 'Bechir Zalila' in Google

Jérôme Hugues

This author has not been identified. Look up 'Jérôme Hugues' in Google

Mohamed Jmaiel

This author has not been identified. Look up 'Mohamed Jmaiel' in Google