Imene BENSETIRA
...
Maître de conférences
Univ. Constantine 2
Equipe : CFSC

Détails
Thèse de doctorat
Imene Bensetira
Proposition d’algorithmes de distribution des espaces d’états en vue d’une vérification basée model checking : Application aux automates temporisés avec durées d’actions. Université Constantine 2, Algérie (2018)