SAMOVAR UMR 5157

  • Accueil
  • Accueil
  • Accueil
  • Accueil

CNRS

Rechercher




Accueil > Équipes > METHODES > Bilan scientifique 2008-2013 > Axes de recherche

Axes de recherche

Méthodes formelles pour le test et la vérification

  • Test passif
  • Test actif
  • Vérification et modélisation

Lire la suite

Evaluation de performances dans les réseaux

  • Evaluation de performances par méthodes mathématiques
  • Evaluation de performances par simulation et mesures

Lire la suite

Optimisation

  • Optimisation combinatoire
  • Optimisation stochastique distribuée

Lire la suite