---

Université de Nantes  - Stages/Internship  - Master1/Master2

---

2017-2018

• Mattis LEFALHUN, Ossama MOUSTAFA
  Intégration de propriétés PSL dans des spécifications hétérogènes
  Rapport de projet Master1  Slides 
  

2016-2017

• Gomes Killian Ngamije Emmanuel, Modélisation et analyse des systèmes logiciels hétérogènes
  SujetTER2017  Rapport de projet Master1
  

2015-2016

• Thibault Béziers la Fosse, Ugo Mahey, Joachim Clayton
  Modélisation et analyse des systèmes logiciels hétérogènes, Plug'N'Check
  Rapport de projet Master1  
  

2014-2015

• Antoine Forgerou, Jérémy Bardon, Nicolas Bourdin,
  Modélisation et analyse des systèmes logiciels hétérogènes, Plug'N'Check
  Rapport de projet Master1

2013-2014

• Coraline Marie,Vincent Raveneau et Quentin Moriceau,
  Projet Plug'Check'Run,
  Rapport de Projet M1, Slides
  

---

Supervised by, Pr. Christian Attiogbé