Belala, Faiza



Author
Results 1-2 of 2 (Search time: 0.001 seconds).
Issue Date | Title | Author(s) | |
---|---|---|---|
1 | 3-Apr-2014 | Verifying Cloud Systems using a Bigraphical Maude-based Model Checker | Benzadri, Zakaria ; Belala, Faiza ; Bouanaka, Chafia |
2 | 2-Dec-2013 | Towards a Formal Model for Cloud Computing | Benzadri, Zakaria ; Belala, Faiza ; Bouanaka, Chafia |
Projects
(Principal Investigator)
Results 1-1 of 1 (Search time: 0.0 seconds).
Title | P-Investigator |
---|---|
Approaching Fog and Edge Computing: A Modelling and Analysis Formal Approach | Belala, Faiza |
Claim Researcher Page
Check the encrypted string of this email, put the correct string in the box below and click "Go" to validate the email and claim this profile.
Emails: f a i z * * * * * * * * @ * * * * * * * * * * * * * * * * 2 . d z
