Towards a Formal Verification Approach for Service Component Architecture.

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

Browse the full SoMeT paper archive.