Mémoires de Fin d’Etudes
Etablissement
Université de Djelfa - Ziane Achour
Affiliation
Département des Sciences Technologiques
Auteur
KHELDOUN,
Directeur de thèse
BOUKALA Malika
Filière
Informatique
Diplôme
Doctorat
Titre
Utilisation de la logique temporelle dans les réseaux de Petri récursifs
Statut
Validé