Projets

Projets

Projet sur: Formal methods for distributed real-time systems

Université Catholique de Lille

Période: du 22-07-2019 à 22-07-2022

F. Lachhab (Responsable)

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

Ecole Supérieure de Commerce et des Affaires

Période: du 13-07-2019 à 13-07-2022

F. Lachhab (Responsable)

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

Institut d'Etudes Politiques de Bordeaux

Période: du 04-07-2019 à 04-07-2024

A. El-jamali (Responsable)

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

Université Paris-Dauphine (Paris IX)

Période: du 22-05-2019 à 22-05-2024

R. El mesaoudy (Responsable)

Projet sur: Reseaux virtualises de prochaine generation bases sur SDN

Université Mohammed Ier

Période: du 16-05-2019 à 16-05-2023

F. Lachhab (Responsable)

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

Institut National des Télécommunications

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

A. Zegnoun (Responsable)

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

Université Ibn Khaldoun

Période: du 14-03-2019 à 14-03-2022

A. El-jamali (Responsable)

Projet sur: A scalable search engine for the Personal Cloud

Université du Maine

Période: du 03-02-2019 à 03-02-2022

K. Et-touimi (Responsable)