Wael Chargui

According to our database, Wael Chargui authored at least 2 papers in 2017.

Collaborative distances:

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

2017

Behavioral Verification of Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Towards a Formal Verification Approach for Service Component Architecture.

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017