Projects

Projects

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

Period: from 09-06-2020 to 09-06-2024

S. Khomssi (Manager)

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

Institut Catholique de Paris

Period: from 09-03-2019 to 09-03-2023

S. Khomssi (Manager)