Equipe, Service ou Laboratoire commun

• VERTICS - VERification des Systèmes Temporisés CritiqueS

Emploi

Cadre Scientifique
Professeur des universités 1ère classe
Etablissement d'enseignement : INSA

Coordonnées

• Email :
• Pièce : A45 - Bâtiment : A
• Téléphone : 05 61 33 62 65
• Fax : 05 61 33 64 11

Liens

• Page personnelle
• Publications