HAL-Inria | Publications, software ... of Inria's scientists |
Fabrice Kordon 1
Author IdHAL : fabrice-kordon ORCID : https://orcid.org/0000-0002-5626-828X
Hubert Garavel 2, 3
Author IdHAL : hubert-garavel
Lom Hillah 4, 1
Author IdHAL : lom-messan-hillah ORCID : https://orcid.org/0000-0002-4558-720X
Emmanuel Paviot-Adet 5, 1
Author
Loïg Jezequel 6
Author IdHAL : loig-jezequel ORCID : https://orcid.org/0000-0001-5113-9668
Francis Hulin-Hubard 7
Author
Elvio Amparore 8
Author
Marco Beccuti 8
Author
Bernard Berthomieu 9
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : bernard-berthomieu ORCID : https://orcid.org/0000-0001-9895-0052
Hugues Evrard 10
Author
Peter Gjøl Jensen 11
Author
Didier Le Botlan 9
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : didier-le-botlan
Torsten Liebke 12
Author
Jeroen Meijer 13
Author
Jiří Srba 11, 14
Author
Yann Thierry-Mieg 1
Author IdHAL : yann-thierry-mieg ORCID : https://orcid.org/0000-0001-7775-1978
Jaco van de Pol 13
Author
Karsten Wolf 12
Author
CNRS | ENS-CACHAN | EC-NANTES | UNAM | CONVECS | UNIV-PARIS5 | LS2N | INRIA | INSA-TOULOUSE | UNIV-NANTES | LAAS | INSA-GROUPE | USPC | SORBONNE-UNIVERSITE | LAAS-INFORMATIQUE-CRITIQUE | LAAS-VERTICS | LIG_MFML_CONVECS | LS2N-STR | UPMC | LIP6 | LIG | UNIV-TLSE3 | SU-SCIENCES | INSA-TOULOUSE-GEI | UT1-CAPITOLE | UNIV-TLSE2 | UNIV-PARIS-LUMIERES | INSTITUT-TELECOM | LAAS-RISC | UNIV-PARIS | UGA | SU-TI | ENS-PARIS-SACLAY | UNIV-PARIS-NANTERRE