Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (2)

2020- 2025: Electrotechnique

2020- 2025: Transferts Thermiques

Derniers encadrements

Tous les encadrements (2)

2013: Compositional verification of component-based real-time systems and applications

2010: Contribution a la mise en oeuvre dun outillage unifie pour faciliter la qualification denvironnements normes