TY - THES DP - http://www.theses.fr/2010ISAL0016 TI - Gestion de changement et vérification formelle de processus métier : une approche orientée règle AU - Boukhebouze, Mohamed A3 - Amghar, Youssef PY - 2010 SP - 1 vol. (238 p.) N1 - Thèse de doctorat Informatique Lyon, INSA 2010 N1 - 2010ISAL0016 ER -