Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Thése doctorat
Amel Meliouh, Auteur ; Allaoua Chaoui, Directeur de thèse | 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[...]
