معلومات
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.