Course list

Period: 2023Fall
Track type Track Semester Cursus Teaching Unit Course
Autre Cursus 6 et 12 mois [shortcursus] s7 cours libres pour les 6/12 mois
[free-6_12]
ECTS: 
Méthodologie d'émulation et de simulation
[EmSim]
Weight: N/A
Credits for track: 2.50
Period: 2024Spring
Track type Track Semester Cursus Teaching Unit Course
Autre Cursus 6 et 12 mois [shortcursus] s8 Formal/methods-Spécification et Vérification formelles des systèmes
[FormalMet]
Weight: N/A
Credits for track: 2.50