author-photo

Mohamed Graiet

Intelligence and National Security Alliance

3

Papers

8

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B

2018
Show All
- Source
- Cite
- Save
Citations (5)
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud

2017
Show All
- Source
- Cite
- Save
Citations (1)
AN EVENT-B DRIVEN APPROACH FOR ENSURING RELIABLE AND FLEXIBLE SERVICES COMPOSITION

2014
Show All
- Source
- Cite
- Save
Citations (2)