N° d'ordre

Niveau: Supérieur, Doctorat, Bac+8

• mémoire

N° d'ordre : ???? THESE Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS Présentée pour obtenir Le titre de Docteur de l'Institut National Polytechnique de Toulouse École doctorale : Systèmes Spécialité : Systèmes Informatiques Par : Tarek SADANI Soutenue le 03 mai 2007 devant le jury composé de : M. Jean-Pierre COURTIAT Directeur de thèse M. Pierre de SAQUI-SANNES Co-Directeur de thèse M. Richard CASTANET Rapporteur M. Elie NAJM Rapporteur M. Hubert GARAVEL Membre M. Serge HADDAD Membre M. Patrick SALLE Membre M. François VERNADAT Membre

• chercheurs informaticiens du dmi


• patterns


• ensica


• pattern de l'intériorisation


• vérification de systèmes temps


• problème de la synchronisation temporelle dans les réseaux de petri