Projets CNEPRU

Projets CNEPRU en cours:

  • Modélisation Formelle, et Performances des Systèmes Complexes (MFPSC). Localisé à l'USTHB, Agrée en 2014 Chef de projet: Prof. M. BOUKALA-IOUALALEN
  • Modélisation, Analyse des Performances, Fiabilité et Optimisation des Systèmes avec Appels répétés : Application aux réseaux mobiles. Localisé à l'USTHB, Agrée en 2014 Chef de Projet: Prof. N. GHARBI
  • Spécification et Vérification des Systèmes Complexes (SVSC). Localisé à l'USTHB, Agrée en 2014 Chef de Projet: Dr. M.C. BOUKALA

Projets CNEPRU finalisés:

  • Méthodes formelles, Vérification et Performances des Systèmes (MFVP),  2009-2013.
  • Modélisation, Evaluation des Performances et Qualité de Service des Systèmes (MEPQoS),  2006-2008.
  • Modélisation, Spécication, Validation et Evaluation des Performances des systèmes (MSVP),  2002-2005.