DSpace Home
→
3. Mémoires de Master
→
4.Faculté des Sciences et de la technologie
→
Browsing 4.Faculté des Sciences et de la technologie by Author

Browsing 4.Faculté des Sciences et de la technologie by Author "Khial Hiba, Nemas Racheda"

Now showing items 1-1 of 1

Une approche de transformation et de vérification des diagrammes d'états transitions UML avec Isabelle/ HOL

Khial Hiba, Nemas Racheda (HACHICHI .Hiba, 2021-01-31)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account