Logo université evry val-d'essonne

Choix 6

Organisation

Choix 6
1 option(s) au choix parmi 1

  • Feedback-loop design for autonomic systems (2.5 crédits)
  • Systèmes multi-agents (2.5 crédits)
  • Game Theory (2.5 crédits)
  • Modélisation formelle à base d'algèbres de réseaux de Petri (2.5 crédits)
  • Projet vérification de programmes (2.5 crédits)
  • Concurrent, distributed and timed processes (2.5 crédits)
  • Internet des objets (2.5 crédits)
  • Approches formelles pour la vérification de programmes (2.5 crédits)
  • Specifications of open (2.5 crédits)
  • Analyse statique de programmes (2.5 crédits)

Diplômes intégrant cette UE

  • Informatique

En bref

Période de l'année
1er semestre

Contact(s)

Composante