Soutenance de Doctorat de Madame Meliouh Amel

Systèmes embarqués Maude Modélisation Vérification Transformation de modèles

Le travail de recherche de Mme Meliouh Amel se situe dans le domaine de la modélisation et la vérification des systèmes embarqués.