( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal modelling and verifying elasticity strategies in cloud systems.

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

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.

Nabil Belala

Mohammad Faizan

Faiza Hassan

Faïza Abbaci

Faiza Hassan

 

Другие публикации лиц с тем же именем

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