Educational activities

Educational activities

Latest teachings

All teaching (2)

2020- 2025: Electrotechnique

2020- 2025: Transferts Thermiques

Latest supervisions

All supervision (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