Benamira Adel
...
أستاذ محاضر
Univ. de Guelma
الفريق : CFSC

رقم الهاتف : ‎ (+213) 661 48 75 78
عضو سابق
التفاصيل
المنشورات
Adel Benamira; Djamel Eddine Saidouni
Maximality-Based Labeled Transition Systems Normal Form. Modeling Approaches and Algorithms for Advanced Computer Applications: 337-346 (2013)
Adel Benamira; Djamel Eddine Saidouni
Graphe de pas maximaux : Une solution pour la reduction des systemes de transitions étiquetées maximales. 3th Int. Conf. on Computer Science and its Applications (CIIA'11) (2011)
Djamel Eddine Saidouni; Adel Benamira; Nabil Belala; Farid Arfi
FOCOVE: Formal Concurrency Verification Environment for Complex Systems. 1st Mediterranean Conf. on Intelligent Systems and Automation (CISA’08): 375-380 (2008)
أطروحة الدكتوراه
Benamira Adel
Vérification comportementale des systèmes temporisés : Approches de Maximalité. Université Constantine 2, Algérie (2013)
الإسم الرابط
Formal Concurrency Verification Environment