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 (Au3, MC-Auto), Informatique (Info1)

Thèmes de recherche

Méthodes formelles, vérification de modèles de haut-niveau