( en | de | ru )

 

Disambiguation of "Wakrime, Abderrahim Ait"

Author of the publication

copydeleteadd this publication to your clipboard
On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques.

, , , and . WETICE, page 37-42. IEEE, (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. You can also use the button next to the name to display some publications already assigned to the person.

Abderrahim Najaoui

Abderrahim Taouli

Abderrahim Ouazzi

Abderrahim Sahli

Abderrahim Elmaouhoub

 

Other publications of authors with the same name

A transformation methodology for Capella to Event-B models with DSL verification., , , and . J. Comput. Lang., (November 2023)A Model-based Approach for the Modeling and the Verification of Railway Signaling System., , , , and . ENASE, page 367-376. SciTePress, (2019)A Model-Driven Engineering Approach for Business Process Based SaaS Services Composition., , , and . AICCSA, page 1-8. IEEE Computer Society, (2019)Formalizing Ontologies for AI Models Validation: from OWL to Event-B., , , , and . ICSC, page 455-462. IEEE, (2021)An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts., , , , and . AINA, volume 1151 of Advances in Intelligent Systems and Computing, page 1303-1318. Springer, (2020)Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control., , , and . ENASE, page 350-358. SciTePress, (2019)Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems., , , and . MEDI, volume 13761 of Lecture Notes in Computer Science, page 119-132. Springer, (2022)Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives., , and . CAL, volume L-7 of RNTI, page 103-122. Hermann-Éditions, (2012)Place-Liveness of ComSA Applications., , and . FACS, volume 8997 of Lecture Notes in Computer Science, page 346-363. Springer, (2014)Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing., , and . ICEBE, page 245-250. IEEE Computer Society, (2015)