Verification de modeles de processus den

Présentée à par Vincent Chapurlat Docteur de l'Université Montpellier II ème section CNU ' Soutenue le er Mars devant le jury constitué de Professeur Pierre Ladet Institut National Polytechnique de Grenoble Grenoble Rapporteur Professeur Gérard Morel Université Henri Poincaré Nancy Rapporteur Professeur Hervé Pingaud Ecole des Mines Albi-Carmaux Albi Rapporteur Giuseppe Berio Chercheur con ?rmé Università degli Studi di Torino Turin Examinateur Professeur Jean-Pierre Bourey Ecole Centrale de Lille Lille Examinateur Professeur Bruno Vallespir LAPS Université Bordeaux I Bordeaux Examinateur Professeur René Zapata Université Montpellier II Montpellier Examinateur CVéri ?cation et validation de modèles de systèmes complexes application à la Modélisation d'Entreprise Ces années passées dans le domaine de l ? enseignement et de la recherche m ? ont permis de côtoyer de nombreuses personnes Je ne saurais donc faire un bilan de mon activité sans commencer par remercier du fond du c ?ur ces personnes ces collègues et ces amis Certains ont su m ? insu er l ? enthousiasme la curiosité et l ? envie de faire ce que je j ? ai fait Certains m ? ont accordé leur con ?ance et m ? ont poussé à b? tir ce qui est décrit dans ce mémoire Je tiens donc à remercier tout d ? abord François Prunet qui a dirigé mes premiers pas et m ? a toujours encouragé Janine Magnier qui m ? a o ?ert ma première chance professionnelle et m ? a guidé et en ?n Christian Durante pour l ? oreille con ?ante qu ? il m ? a accordée en des temps di ?ciles Je tiens à adresser ensuite tous mes remerciements à Messieurs les Professeurs Gérard Morel Pierre Ladet Hervé Pingaud Bruno Vallespir Jean-Pierre Bourey René Zapata et M Giuseppe Berio d ? avoir acceptés d ? être membres de ce jury Ils m ? ont accompagné par leurs remarques toujours constructives et au travers de quelques bonnes discussions pour peau ?ner mon activité et ont su m ? aider à me situer et à parfaire une certaine vision des choses Merci aux jeunes chercheurs et aux étudiants que j ? ai eu le privilège et le grand plaisir d ? accompagner un bout de temps J ? espère leur avoir apporté quelque chose J ? ai pour ma part beaucoup appris à leur contact et j ? apprécie encore aujourd ? hui leur implication Merci aux collègues chercheurs ses et administratifs ves avec qui et auprès de qui je continue d ? avancer et de compléter mon expérience Je ne peux et ne souhaite pas faire une liste qui sera de toute manière non exhaustive Merci quand même à Aline Isabelle Didier Christian Pascal Anne Lise Gérard Sylvie R et C Thomas et tous les autres avec qui les discussions et les échanges ont été toujours fructueux et amicaux Merci aux copains pour leur soutien infaillible Nathalie Dominique Corinne Valérie Philippe Gérard ? Un énorme merci et plein de choses à Jo? lle pour m ? avoir patiemment regardé aller

  • 32
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager