Retour

Spécification et vérification des systèmes distribués - NFP103

Sans niveau spécifique
  • Acquérir une connaissance pratique des "bons" patrons de la programmation concurrente (Java)
  • Comprendre les problèmes fondamentaux des systèmes concurrents
  • S'initier à des méthodes et techniques de vérification automatique de ces systèmes (model-checking, logiques temporelles) 

établissements

Trouver un conseiller près de chez vous
Retour en haut de page