Wael Chargui

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Configuration Management

Loosely Coupled

Top Venues

Publications

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Towards a Formal Verification Approach for Service Component Architecture. SoMeT (2017)
Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, Badran Raddaoui
Behavioral Verification of Service Component Architecture. WETICE (2017)