Chercheur au LAAS - CNRS | Professeur à l'INSA de Toulouse | Fondation STAE |
---|---|---|
Equipe VerTICS | Département de GEI | RTRA |
Vérification de Systèmes Temporisés Critiques | Génie Electrique et Informatique | Sciences et Technologies |
Publications DPLB | Enseignements | pour l'Aéronautique et l'Espace |
Francois Vernadat | |
INSA DGEI | vernadat@insa-toulouse.fr 05 61 33 62 65 |
Fondation STAE | francois.vernadat@fondation-stae.net 05 61 28 02 82 - 06 85 09 00 73 |
LAAS/CNRS | vernadat@laas.fr 05 61 33 62 65 |