Thèse : soutenance de Hanbing Li

«Extraction traceability of annotations for WCET estimation» - thèse de doctorat de l'université de Rennes 1 en informatique