Personnel de l'université
Charlotte SEIDNER
Coordonnées
- Bureau
- Site de la Fleuriaye - F1/9
- Tél
- 0228092171 (n° interne : 492171)
- Charlotte.Seidner@univ-nantes.fr
Discipline(s) enseignée(s)
Automatique (Au3, MC-Auto), Informatique (Info1)
Thèmes de recherche
Méthodes formelles, vérification de modèles de haut-niveau
Mis à jour le 26 novembre 2024.