Gilles F Montavon 1
Author IdHAL : gilles-montavon ORCID : https://orcid.org/0000-0002-3049-0106
Catherine Landesman 1
Author IdHAL : catherine-landesman ORCID : https://orcid.org/0000-0001-5636-6034
S. Ribet 1
Author
Z. Guo
Author
Z. Chen
Author
C. Tournassat
Author
Didier Le Botlan
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : didier-le-botlan
Bernd Grambow 1
Author Employer institution : IMT Atlantique Bretagne-Pays de la Loire IdHAL : bernd-grambow ORCID : https://orcid.org/0000-0001-8494-5711