Amal Ayach

Publication Activity (10 Years)

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

Top Topics

Quality Attributes

Formal Verification

Software Architecture

Top Venues

Publications

Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
Towards a Formal Verification Approach for Cloud Software Architecture. SoMeT (2017)