Browsing by Subject UCM,spécificationsemi-formelle, spécification formelle, Maude-Strategy, logique de réécriture, Xpand, Eclipse
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2017 | Génération d’une description Maude-Stratégie à partir d’unmodèle UCM | GASRI, Mohamed Larbi |