Projects

Projects

Projet sur: Formal framework for modelling and verifying globally asynchronous locally synchronous systems

Ecole Nationale Superieure d'Informatique et de Mathematiques Appliquees de Grenoble

Period: from 06-03-2021 to 06-03-2026

M. Benyamna (Manager)

Projet sur: Proprietes metriques des grands graphes

EPF Ecole d'Ingénieurs

Period: from 04-06-2020 to 04-06-2023

M. Benyamna (Manager)