Raida ELMANSOURI
Details
| 5 recent publications |
|---|
|
Karima Mahdi; Allaoua Chaoui; Manel Kolli; Raida Elmansouri
Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN. Int. J. of Organizational and Collective Intelligence (IJOCI) 12(1) (2022) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
|
|
|
Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui; Raida Elmansouri
On the Verification of G-Nets Models Using Graph Transformations. Int. journal of innovative computing, information and control (IJCIC) 9(11): 4285-4302 (2013) |
| PhD thesis |
|---|
|
Raida Elmansouri
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes. Laboratoire LIRE, Université Mentouri de Constantine, Algérie (2010) |
No module to display.
No PhD student to display.
No training period to display.
No software to display.