Ahmed Amar Debza

According to our database, Ahmed Amar Debza authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

A Formal Framework for Scalable Component-Based Systems.

Chafia Bouanaka, Ahmed Amar Debza, Faiza Belala, Nadia Zeghib

Int. J. Inf. Syst. Model. Des., 2017

2016

Towards rewriting-based formal model for component-based systems verification.

Ahmed Amar Debza, Chafia Bouanaka, Nadia Zeghib

Proceedings of the 2016 International Conference on Advanced Aspects of Software Engineering, 2016