Unité d'enseignement ENSINCU18 :
« Modèles du parallélisme »

Description

Crédits : 3
Semestre :  S3

Résumé :

Modèles classiques de systèmes. Résultats principaux du domaine concernant les problèmes d'accessibilité, de model-checking, de contrôle ou de synthèse associés.

Apparaît dans les parcours