Modélisation des Systèmes Complexes
Le but de cet EC est d'initier les étudiants à différents formalismes permettant de modéliser les systèmes complexes.
Introduction aux systèmes complexes
Les automates
Les Réseaux de Petri
Bases de la vérification automatique
Applications :
Jeux vidéos
Simulation
...