Towards a Formal Verification Approach for Cloud Software Architecture.

Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui

Browse the full SoMeT paper archive.