HAL-Inria | Publications, software ... of Inria's scientists |
Bernard Berthomieu 1
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : bernard-berthomieu ORCID : https://orcid.org/0000-0001-9895-0052
Jean-Paul Bodeveix 2, 3
Author IdHAL : jean-paul-bodeveix IdRef : https://www.idref.fr/033384940 ORCID : https://orcid.org/0000-0002-4179-6063
Patrick Farail 4
Author Employer institution : Airbus France
M Filali 2, 5
Author IdHAL : mamoun-filali-amine IdRef : https://www.idref.fr/033384959 ORCID : https://orcid.org/0000-0001-5387-6805
Hubert Garavel 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : hubert-garavel
Pierre Gaufillet 4
Author Employer institution : Airbus France
Frederic Lang 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : frederic-lang
François Vernadat 1
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : francois-vernadat
CNRS | INRIA | LIG | LAAS-VERTICS | UNIV-TLSE2 | UNIV-TLSE3 | LAAS-INFORMATIQUE-CRITIQUE | INSA-TOULOUSE | LAAS | INSA-GROUPE | ERTS2008 | INSA-TOULOUSE-GEI | UT1-CAPITOLE | LAAS-RISC | IRIT | IRIT-ACADIE | UGA | IRIT-FSL | IRIT-CNRS | IRIT-UT3 | LIG_SIDCH | INRIA2