Identifiant pérenne de la notice : 20416477X
Notice de type
Collectivité
Note sur la biographie et les activités : Laboratoire de recherche de l'École nationale d'ingénieurs de Tunis
Contribution à la Formalisation et à la Vérification des Diagrammes Dynamiques UML2
à base des Réseaux de Petri / Aymen Louati, 2015. Thèse de doctorat : Informatique
: Paris, CNAM : 2015