Outils personnels

Vous êtes ici : Accueil / PHC Tassili franco-algérien / Projets en cours / Spécification formelle et analyse des environnements du Cloud Computing

Spécification formelle et analyse des environnements du Cloud Computing

PHC : Tassili
Codes du projet : 15MDU945 -- Campus N° 33302ZL
Domaine : Mathématiques - Sciences et technologies de l'information (STIC)
Intitulé : Spécification formelle et analyse des environnements du Cloud Computing
Porteur(s) : HAMEURLAIN Nabil, BELALA Faiza
Date de début : 01/01/2015
Date de fin : 31/12/2017

Laboratoire d'Informatique, Université de Pau et des Pays de l'Adour

Partenaire français
PAU

Laboratoire(s) ou unité(s) de recherche

--

Responsable(s)
--

Laboratoire d'Informatique Répartie (LIRE), Université Constantine 2

Partenaire algérien
CONSTANTINE

Laboratoire(s) ou unité(s) de recherche

--

Responsable(s)
--