Browsing by Subject Besoins fonctionnels, méthodologie PASSI, SMA, Spécification formelle, Agent UML, Logique de Réécriture, Maude.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2019 | Un modèle formel des besoins fonctionnels des systèmes multi-AGents Al’AIDE de MAude | Cheriet, Amira |