Enseignement
Accueil
Recherche
Publications
Enseignement
Contact
Conception de systèmes critiques avec la méthode Event-B (3A - Ingénieur CentraleSupelec)
Volume horaire : xxh CM + xxh TD/TP
Systèmes d'exploitation (3A - Ingénieur CentraleSupelec)
Volume horaire : xxh CM + xxh TD/TP
Conception et vérification de systèmes critiques (2A - Ingénieur CentraleSupelec)
Volume horaire : xxh CM + xxh TD/TP
Computer Architecture and Software Execution Process (1A - Bachelor CentraleSupelec)
Volume horaire : xxh CM + xxh TD/TP