Projets PNR

Les Projets Nationaux de Recherche (PNR) auxquels ont participé des membres du laboratoire MOVEP:

  • Modélisation de haut niveau et Analyse des Performances des Systèmes Stochastiques complexes. Localisé à l'USTHB, Clôturé en 2013, Chef de Projet: Prof. M. BOUKALA-IOUALALEN.
  • Modélisation de Haut niveau, Spécification, et Vérification des Systèmes (MOSPEV). Localisé à l'USTHB, Clôturé en 2013, Chef de projet: Dr. N. SALMI.
  • Modélisation, Spécification, Validation et Evaluation des performances des systèmes (PNR3), Code du projet : AU19926, Clôturé en 2006.