( en | de | ru )

 

Disambiguation of "Belala, Faiza"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Formal Model for Cloud Computing.

, , and . ICSOC Workshops, volume 8377 of Lecture Notes in Computer Science, page 381-393. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nabil Belala

Mohammad Faizan

Faiza Hassan

Faïza Abbaci

Faiza Khalil

 

Other publications of authors with the same name

Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant., , and . FiCloud, page 64-71. IEEE, (2019)Vers un Modèle de Déploiement à base de Bigraphes., , , and . CAL, volume L-5 of Revue des Nouvelles Technologies de l'Information, page 131-143. Cépaduès-Éditions, (2010)Architectural method to design and control dynamic composite web services., , and . Int. J. Comput. Appl. Technol., 57 (1): 59-71 (2018)A Strategy-Based Formal Approach for Fog Systems Analysis., , and . Future Internet, 14 (2): 52 (2022)A Maude-Based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation., , and . MEDI Workshops, volume 1751 of Communications in Computer and Information Science, page 207-221. Springer, (2022)Towards a meta-model for dynamic applications., , and . CBSE, page 23-28. ACM, (2014)Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems., , and . ENASE, page 162-173. SCITEPRESS, (2022)System of Systems Modelling: Recent work Review and a Path Forward., , and . ICAASE, page 1-8. IEEE, (2020)Mop-ECATNets for Formal Modeling Dynamic Web Services., and . ICAASE, volume 1294 of CEUR Workshop Proceedings, page 27-34. CEUR-WS.org, (2014)A Contribution to the Formal Checking of Multi-Agents Systems., and . AICCSA, page 9-16. IEEE Computer Society, (2006)