Informations
Soutenance de Doctorat de Madame Meliouh Amel
Mots clés
Systèmes embarqués
Maude
Modélisation
Vérification
Transformation de modèles
Description
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.