( en | de | ru )

 

Disambiguation of "Belala, Faiza"

Author of the publication

copydeleteadd this publication to your clipboard
A tile logic-based semantics for mobile software architectures.

, , and . Int. J. Crit. Comput. Based Syst., 2 (3/4): 288-308 (2011)

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)A Strategy-Based Formal Approach for Fog Systems Analysis., , and . Future Internet, 14 (2): 52 (2022)Architectural method to design and control dynamic composite web services., , and . Int. J. Comput. Appl. Technol., 57 (1): 59-71 (2018)Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems., , and . ENASE, page 162-173. SCITEPRESS, (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)A Contribution to the Formal Checking of Multi-Agents Systems., and . AICCSA, page 9-16. IEEE Computer Society, (2006)Tile logic as an architectural model for mobility., and . ISCC, page 525-530. IEEE Computer Society, (2008)Towards a meta-model for dynamic applications., , and . CBSE, page 23-28. ACM, (2014)Mop-ECATNets for Formal Modeling Dynamic Web Services., and . ICAASE, volume 1294 of CEUR Workshop Proceedings, page 27-34. CEUR-WS.org, (2014)