cover.tex 960 B

1234567891011121314151617181920212223242526272829
  1. \documentclass[11pt]{thloria}
  2. % thloria.cls
  3. \begin{document}
  4. %\ThesisTitle{Transformations de mod\`eles et certification}
  5. \ThesisTitle{Un \^ilot formel pour les transformations de mod\`eles qualifiables}
  6. \ThesisDate{12 septembre 2014}
  7. \ThesisAuthor{Jean-Christophe Bach}
  8. \ThesisLorraine
  9. %\President = {Le pr\'esident}
  10. \Rapporteurs = {Antoine Beugnard & Professeur, Telecom Bretagne\\
  11. Laurence Duchien & Professeur, Universit\'e de Lille 1, LIFL%\\
  12. }
  13. \Examinateurs = {Mark van den Brand & Professeur, Eindhoven University of Technology\\
  14. Beno\^it Combemale & Ma\^itre de conf\'erences, Universit\'e de
  15. Rennes 1, IRISA, Inria\\
  16. Marc Pantel & Ma\^itre de conf\'erences, Universit\'e de
  17. Toulouse, INPT, IRIT}
  18. \Encadrants = {Pierre-Etienne Moreau & Professeur, Universit\'e de Lorraine, \'Ecole des Mines de Nancy}
  19. \MakeThesisTitlePage
  20. \end{document}