Imene BENSETIRA
...
Docteur
Univ. Constantine 2
Equipe : CFSC

Détails
Thèse
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)