السعيد مغزيلي
التفاصيل
| آخر 5 منشورات |
|---|
|
Said Meghzili; Allaoua Chaoui; Raida El Mansouri; Bardis Nadjla Alloui; Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. of Software Innovation (IJSI) 10(1): 1-20 (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) |
|
|
Said Meghzili; Allaoua Chaoui; Martin Streckecker; Elhillali Kerkouche
An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models. Int. J. of Software Innovation (IJSI) 8(1): 33 (2020) |
|
|
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
|
| أطروحة الدكتوراه |
|---|
|
السعيد مغزيلي
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes. Université Constantine 2, Algérie (2019) |
لا توجد مواد مدرّسة للعرض.
لا يوجد طلبة دكتوراه للعرض.
لا توجد تدريبات للعرض.
لا توجد برامج للعرض.