SINCB5E
EC Méthodes formelles pour la sûreté des systèmes
UE projet tutoré/mémoire
UE mener un projet de recherche avec une démarche scientifique