HAL-Inria | Publications, software ... of Inria's scientists |
Xavier de Tinguy 1
Author
Thomas M. Howard 2
Author
Claudio Pacchierotti 2
Author IdHAL : claudio-pacchierotti ORCID : https://orcid.org/0000-0002-8006-9168
Maud Marchal 2
Author Employer institution : Institut National des Sciences Appliquées - Rennes IdHAL : maud-marchal
Anatole Lécuyer 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : anatole-lecuyer
IRISA-INSA-R | UNIV-RENNES1 | INRIA | INSA-RENNES | UNIV-RENNES | IRISA | CNRS | CENTRALESUPELEC | UR1-UFR-ISTIC