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

Date: 2010

Discipline: Génie Electrique, Télécommunication et Techniques Industrielles

Centre d'Etudes Doctorales (CED): Sciences de l'Ingénieur

Fichiers dans ce document

Fichiers	Taille	Format	Voir
Il n'ya pas de fichiers associés à cette thèse.