Projets

Projets

Projet sur: Approche de simulation transactionnelle pour la modelisation des performances et de l'energie d'un systeme memoire

Ecole Supérieure d'Ingénieurs en Génie Electrique

Période: du 09-06-2020 à 09-06-2024

S. Khomssi (Responsable)

Projet sur: Raisonnement automatise pour la logique de separation avec des definitions inductives

Institut Catholique de Paris

Période: du 09-03-2019 à 09-03-2023

S. Khomssi (Responsable)