Coordonnées

Bureau
Site de la Fleuriaye - F1/9
Tél
0228092171 (n° interne : 492171)
Mail
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.