DSpace Repository/UDBKM
Une approche de transformation et de vérification des diagrammes d'états transitions UML avec Isabelle/ HOL
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 |
