Dépôt DSpace/UDBKM
Une approche de transformation et de vérification des diagrammes d'états transitions UML avec Isabelle/ HOL
- Accueil de DSpace
- →
- 3. Mémoires de Master
- →
- 4.Faculté des Sciences et de la technologie
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Khial Hiba, Nemas Racheda | |
| dc.date.accessioned | 2021-06-03T14:00:48Z | |
| dc.date.available | 2021-06-03T14:00:48Z | |
| dc.date.issued | 2021-01-31 | |
| dc.identifier.uri | http://hdl.handle.net/123456789/4639 | |
| dc.publisher | HACHICHI .Hiba | fr_Fr |
| dc.title | Une approche de transformation et de vérification des diagrammes d'états transitions UML avec Isabelle/ HOL | fr_Fr |
