Identifiant pérenne de la notice : 223784222
Notice de type
Personne
Formalisation of asynchronous interactions / Florent Chevrou ; sous la direction de
Philippe Queinnec et Aurelie Hurault. Thèse de doctorat : Sûreté de Logiciel et Calcul
à Haute Performance : Toulouse, INPT : 2017