( en | de | ru )

 

Disambiguierung von "Belala, Faiza"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal modelling and verifying elasticity strategies in cloud systems.

, , , und . IET Softw., 13 (1): 25-35 (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nabil Belala

Mohammad Faizan

Faiza Hassan

Faïza Abbaci

Faiza Khalil

 

Weitere Publikationen von Autoren mit dem selben Namen

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