Seidali REHAB
Maître de conférences
Univ. Constantine 2
Equipe : MFGL

Seidali Rehab; Allaoua Chaoui
TGG-based process for automating the transformation of UML models towards B specifications. Int. J. of Computer Aided Engineering and Technology (IJCAET) 7(3): 378-400 (2015)
Wafa Chama; Allaoua Chaoui; Seidali Rehab
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 6(2): 48-64 (2015)
Thèse de doctorat
Seidali Rehab
Une approche de transformation des diagrammes UML vers les spécifications B. Université Constantine 2, Algérie (2015)