Jean-Marc Jézéquel 1AuthorPersonId : 173053 Employer institution: Université de Rennes 1IdHAL : jean-marc-jezequelORCID : 0000-0002-0582-9745IdRef : 06106727X
F. Hamelin 1Author
Thierry Priol 2Author
Computer Science [cs] / Software Engineering [cs.SE]
EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | UR1-MATH-NUM