HAL-Inria | Publications, software ... of Inria's scientists |
Charles André 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Mariano Belaunde 2
Author Employer institution : Orange Labs
Bernard Berthomieu 3
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : bernard-berthomieu ORCID : https://orcid.org/0000-0001-9895-0052
Christian Brunette 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Agusti Canals 5
Author Employer institution : C-S
Hubert Garavel 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : hubert-garavel
Susanne Graf 7
Author IdHAL : susanne-graf
Frederic Lang 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : frederic-lang
Vincent Mahé 8
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Michel Nakhlé 5
Author Employer institution : C-S
Rémi Schnekenburger 9
Author Employer institution : Commissariat à l'énergie atomique et aux énergies alternatives
Robert de Simone 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : rdesimone ORCID : https://orcid.org/0000-0002-3123-7591
Jean-Pierre Talpin 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265
François Vernadat 3
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : francois-vernadat
UNICE | IMAG | INRIA | I3S | IRISA | UNIV-RENNES1 | CNRS | LIG_MFML | LIG_MFML_CONVECS | UGA | LIG | LAAS-VERTICS | IRISA-D4 | UNIV-TLSE3 | LAAS-INFORMATIQUE-CRITIQUE | CEA | DRT | INSA-TOULOUSE | UR1-UFR-ISTIC | UNIV-COTEDAZUR | LIST | UNIV-RENNES | LAAS | VERIMAG | INSA-GROUPE | INSA-TOULOUSE-GEI | UT1-CAPITOLE | UNIV-TLSE2 | INSA-RENNES