Browsing by Subject Software product lines, FD, FTS, Verification and Analysis, Graph Transformations, AToM3, BackTracking, Rewriting Logic, Maude
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 25-Oct-2014 | Une Approche de Spécification des Changements des Besoins Basée Transformation de Graphes | Khaled Khalfaoui |