Toubkal : Le Catalogue National des Thèses et Mémoires
Approche Formelle pour la Spécification et la Vérification des Modèles UML en Utilisant la Notation Z.
Title: | Approche Formelle pour la Spécification et la Vérification des Modèles UML en Utilisant la Notation Z. |
Author: | Khadija EL MILOUDI |
Date: | 2020 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |