
Personnel de l'université
Charlotte SEIDNER
Enseignant-chercheurCoordonné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, informatique embarquée, vie de l'entreprise (écoconception)
Thèmes de recherche
Méthodes formelles, vérification de modèles de haut-niveau
Mis à jour le 12 mai 2025.