DoctorantÉquipe Spécification et vérification de systèmes Encadré par Bureau: P2-211Email: assal.bayati@lacl.frTél. +33: 145171647Fax +33: 145176601