- Apprentissages fondamentaux (5 crédits)
Outils méthodologiques (2.5 crédits)
Mastériales (2.5 crédits)
- Systèmes et réseaux autogérés (12.5 crédits)
- Choix 1 (2.5 crédits)
1 option(s) au choix parmi 10 :
Autonomic networking (2.5 crédits)
Optimisation multicritère (2.5 crédits)
Administration et développement de systèmes pour les centres (2.5 crédits)
Reinforcement learning and approximation algorithms (2.5 crédits)
Preuve formelle mécanisée (2.5 crédits)
Apprentissage profond (2.5 crédits)
Sémantique des langages de programmation (2.5 crédits)
Cloud computing (2.5 crédits)
Qualité de service dans les réseaux (2.5 crédits)
Software Defined Networks (2.5 crédits)
- Choix 3 (2.5 crédits)
1 option(s) au choix parmi 10 :
Autonomic networking (2.5 crédits)
Optimisation multicritère (2.5 crédits)
Administration et développement de systèmes pour les centres (2.5 crédits)
Reinforcement learning and approximation algorithms (2.5 crédits)
Preuve formelle mécanisée (2.5 crédits)
Apprentissage profond (2.5 crédits)
Sémantique des langages de programmation (2.5 crédits)
Cloud computing (2.5 crédits)
Qualité de service dans les réseaux (2.5 crédits)
Software Defined Networks (2.5 crédits)
- Choix 2 (2.5 crédits)
1 option(s) au choix parmi 10 :
Autonomic networking (2.5 crédits)
Optimisation multicritère (2.5 crédits)
Administration et développement de systèmes pour les centres (2.5 crédits)
Reinforcement learning and approximation algorithms (2.5 crédits)
Preuve formelle mécanisée (2.5 crédits)
Apprentissage profond (2.5 crédits)
Sémantique des langages de programmation (2.5 crédits)
Cloud computing (2.5 crédits)
Qualité de service dans les réseaux (2.5 crédits)
Software Defined Networks (2.5 crédits)
- Choix 5 (2.5 crédits)
1 option(s) au choix parmi 10 :
Autonomic networking (2.5 crédits)
Optimisation multicritère (2.5 crédits)
Administration et développement de systèmes pour les centres (2.5 crédits)
Reinforcement learning and approximation algorithms (2.5 crédits)
Preuve formelle mécanisée (2.5 crédits)
Apprentissage profond (2.5 crédits)
Sémantique des langages de programmation (2.5 crédits)
Cloud computing (2.5 crédits)
Qualité de service dans les réseaux (2.5 crédits)
Software Defined Networks (2.5 crédits)
- Choix 4 (2.5 crédits)
1 option(s) au choix parmi 10 :
Autonomic networking (2.5 crédits)
Optimisation multicritère (2.5 crédits)
Administration et développement de systèmes pour les centres (2.5 crédits)
Reinforcement learning and approximation algorithms (2.5 crédits)
Preuve formelle mécanisée (2.5 crédits)
Apprentissage profond (2.5 crédits)
Sémantique des langages de programmation (2.5 crédits)
Cloud computing (2.5 crédits)
Qualité de service dans les réseaux (2.5 crédits)
Software Defined Networks (2.5 crédits)
- Choix 1 (2.5 crédits)
- Spécification, modélisation, vérification (12.5 crédits)
- Choix 8
1 option(s) au choix parmi 10 :
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)
- Choix 9
1 option(s) au choix parmi 10 :
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)
- Choix 7
1 option(s) au choix parmi 10 :
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)
- Choix 10
1 option(s) au choix parmi 10 :
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)
- Choix 6
1 option(s) au choix parmi 10 :
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)
- Choix 8
Informatique
M2 Informatique parcours Computer and network systems - sous-parcours Systèmes autonomiques
Domaine: Sciences, Technologies, Santé