Archives quotidiennes : 19 décembre 2022

Meryem Afendi has defended her PhD   and the committee  was Richard Banach, Frédéric Mallet, Burkhardt Wolff, Dominique Méry, Amel Mamarn Régine Laleau. The PhD is entitled: Approche basée sur les preuves formelles pour la modélisation et la vérification de systèmes … Continuer la lecture →