Choix 10

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)
• Méthodes de tests pour les systèmes complexes (2.5 crédits)
• Concurrent, distributed and timed processes (2.5 crédits)
• Approches formelles pour la vérification de programmes (2.5 crédits)
• Spécifications of open (2.5 crédits)
• Analyse statique de programmes (2.5 crédits)

Diplômes intégrant cette UE

• Informatique
• Informatique