PhD Defense of Meryem Afendi on Monday December 12, 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 cyber-physiques dans Event-B.

 

Ce contenu a été publié dans Non classé. Vous pouvez le mettre en favoris avec ce permalien.