DSpace Repository

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

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

Khial Hiba, Nemas Racheda
URI: http://hdl.handle.net/123456789/4639
Date: 2021-01-31

Show full item record

Files in this item

Icon
Name: Mimoire Finale.pdf
Size: 2.048Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account