Up a level |
Meliouh, Amel (2021) UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués. Doctoral thesis, Université de mohamed kheider biskra.
Meliouh, Amel (2009) Modélisation et Vérification des systèmes de production distribués à l’aide d’UML et des réseaux de Petri. Masters thesis, UNIVERSITÉ MOHAMED KHIDER-BISKRA.