Moteur de recherche LOFAR v2

Liaison entre Offres de FormAtion et Ressources pédagogiques

Cours sélectionné

Titre

Modélisation des Systèmes Complexes

Description

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
...

Ressources proposées :

Source :
Retour à la liste des cours