Dépôt DSpace/Manakin

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

Afficher la notice complète

Fichier(s) constituant ce document

Icon
Nom: Mimoire Finale.pdf
Taille: 2.048Mo
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Recherche avancée

Parcourir

Mon compte