M1CPS - S2 - M1CPS - Semestre 2 | Catalogue 2026-2027

Département d'Informatique.

Composition du parcours

M1CPS - S2 - TC M1CPS - Semestre 2 - Tronc Commun
- CSC_52064_EP Compilation
- CSC_52070_EP Vérification logique des systèmes hybrides

Unités d'enseignement

UE	Type d'enseignement	Domaines	Catégorie d'UE	Volume horaire	Responsables	Site pédagogique
CSC_52064_EP Compilation	Programme d'approfondissement	Informatique	UE d'approfondissement, UE de base.	36	Jean-Christophe Filliâtre
CSC_52070_EP Vérification logique des systèmes hybrides	Programme d'approfondissement	Informatique		36	Jeremy Dubut