UE : Modèles et Approches Formelles des Systèmes Distribués
 

Code et nom administratifs

nom longModèles et Approches Formelles des Systèmes Distribués
nom courtMAFSD
code apogée

Description

Il existe de nombreux modèles et approches formelles qui permettent d'une part de mieux appréhender, et d'autre part de prouver et valider des algorithmes et des applications distribuées au sens large. Cette UE a pour objectif de présenter une approche fondée sur les calculs locaux.

Plan :

Enseignants

Mohamed Mosbah, Akka Zemmari

Contrôle des conaissances

Examen écrit de 1h30 (Coefficient 1/2)
Contrôle continu (Coefficient 1/2)


 
© LaBRI, 2006