Objectif du module : maîtriser les outils classiques de modélisation et d'analyse des SED (théorie des langages, automates à états, réseaux de Petri, Statecharts, Grafcet, ...).
- Enseignant: Mohamed Benchebba
- Enseignant: Nicolae Brinzei
- Enseignant: Etienne Gorski
- Enseignant: Samia Maza
- Enseignant: Jean-François Petin
- Enseignant: Pierre Riedinger
- Enseignant: Anthony Couthures
- Enseignant: Jamal Daafouz
- Enseignant: Pierre Riedinger
- Enseignant: Flora Vernerey