TITRE DE LA THÈSE : « Runtime Verification of Real-Time Applications Using Trace Data and Model Requirements »

PRÉSENTÉ PAR : Raphaël Beamonte

DÉPARTEMENT : Génie informatique et génie logiciel

JURY:
PRÉSIDENTE : Hanifa Boucheneb
DIRECTEUR DE RECHERCHE : Michel Dagenais
MEMBRE : François Guibault
MEMBRE EXTERNE : Ferhat Khendek
REPRÉSENTANT DU DIRECTEUR DES ÉTUDES SUPÉRIEURES :  Yves Comeau

BIENVENUE À TOUS!