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