Vers une approche générique de modélisation et vérification formelles de partage de ressources et de gestion de conflits dans les systèmes à événement discrets. - IDEL MAHJOUB Yassine (My University, 2016)