Projects

Projects

Projet sur: Formal methods for distributed real-time systems

Université Catholique de Lille

Period: from 22-07-2019 to 22-07-2022

F. Lachhab (Manager)

Projet sur: Modeles partages et infrastructures ouverte pour l'internet des objets de la ville Intelligente

Ecole Supérieure de Commerce et des Affaires

Period: from 13-07-2019 to 13-07-2022

F. Lachhab (Manager)

Projet sur: Internet des Objets pour le suivi et la modelisation de la glycemie de patients diabetiques

Institut d'Etudes Politiques de Bordeaux

Period: from 04-07-2019 to 04-07-2024

A. El-jamali (Manager)

Projet sur: Verification formelle des systemes cyber-physiques dans le processus industriel de la conception basee sur modele

Université Paris-Dauphine (Paris IX)

Period: from 22-05-2019 to 22-05-2024

R. El mesaoudy (Manager)

Projet sur: Reseaux virtualises de prochaine generation bases sur SDN

Université Mohammed Ier

Period: from 16-05-2019 to 16-05-2023

F. Lachhab (Manager)

Projet sur: Conception denvironnement instrumente pour la veille a la personne

Institut National des Télécommunications

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

A. Zegnoun (Manager)

Projet sur: Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages

Université Ibn Khaldoun

Period: from 14-03-2019 to 14-03-2022

A. El-jamali (Manager)

Projet sur: A scalable search engine for the Personal Cloud

Université du Maine

Period: from 03-02-2019 to 03-02-2022

K. Et-touimi (Manager)