Djaaboub Salim
التفاصيل
| المنشورات |
|---|
|
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018) |
|
|
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. 8th Int. C* Conf. on Computer Science \& Software Engineering (C3S2E'15): 138-143 (2015) |
|
|
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
From UML Statecharts to LOTOS Expressions Using Graph Transformation. 21st Int. Conf. on Information and Software Technologies (ICIST'15): 548-559 (2015) |
| أطروحة الدكتوراه |
|---|
|
Djaaboub Salim
Génération d'expresions LOTOS à partir de diagrammes UML. Université Constantine 2, Algérie (2017) |
لا توجد مواد مدرّسة للعرض.
لا يوجد طلبة دكتوراه للعرض.
لا توجد تدريبات للعرض.
لا توجد برامج للعرض.