Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Suggerer acquisition Affiner la recherche
Mémoire magistere
Amel Meliouh, Auteur ; Allaoua Chaoui, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2009A partir d'une chaîne d'embouteillage et une autre d’emballage de produits, deux exemples ont été proposés pour la raison qu’ils sont traités de manière manuelle dans un travail précédent [Bordbar, 2000], donnant la possibilité de valider nos [...]
Thése doctorat
Amel Meliouh, Auteur ; Allaoua Chaoui, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2021Ce travail présente une approche formelle de modélisation et de vérification des systèmes embarqués. L’approche repose sur une modélisation du comportement temporel du système et une génération automatique de code. Le concept clé est l'utilisa[...]
