Author of the publication

A synchronization schema in activity diagrams via zero-safe-nets.

, , and . AICCSA, page 161-167. IEEE Computer Society, (2009)

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.

No persons found for author name Bouanaka, Chafia
add a person with the name Bouanaka, Chafia
 

Other publications of authors with the same name

Big-CAF: a bigraphical-generic cloud architecture framework., , and . Int. J. Grid Util. Comput., 8 (3): 222-240 (2017)Towards a Formal Model for Cloud Computing., , and . ICSOC Workshops, volume 8377 of Lecture Notes in Computer Science, page 381-393. Springer, (2013)A Hybrid approach for containerized Microservices auto-scaling., and . AICCSA, page 1-6. IEEE, (2022)A synchronization schema in activity diagrams via zero-safe-nets., , and . AICCSA, page 161-167. IEEE Computer Society, (2009)A formal framework for context-aware systems specification and verification., , and . J. Syst. Softw., (2016)Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems., , and . NOTERE, page 1-8. IEEE, (2011)Les Zero-Safe Nets pour la Préservation de la TTC dans les Diagrammes d'Activité d'UML., , and . LMO, volume L-3 of RNTI, page 89-104. Cépaduès-Éditions, (2009)Aster: A DSL for Engineering Self-Adaptive Systems., and . CSA, volume 513 of Lecture Notes in Networks and Systems, page 39-49. Springer, (2022)On Specifying Reconfigurable Component-Based Systems Using Strategies., , and . ICCSA (1), volume 8579 of Lecture Notes in Computer Science, page 656-670. Springer, (2014)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)