- Enseignant-e: Didier Buchs
- Enseignant-e: Dimi Racordon
Nous aborderons dans ce cours les moyens pratiques pour modéliser et vérifier des systèmes, les techniques et les outils spécifiques seront découverts et employés sur la base de projets concrets.