[] Modèles Temporels :  Support de Cours  //  Tps 

  [] Model-Checking :  Support de Cours  //  Tps 

  [] Algorithmique Distribuée :  Support de Cours 
     Corrigé 2016  

  [] Vérification de Protocoles :  Support de Cours  //  Tps 

  [] Systèmes Concurrents :   Support de Cours : Part I (Petri)   Part II (Uppaal)    TPS : Petri    UPPAAL 
     Corrigé partie II 2016  

  [] Réseaux de Petri :   Support de Cours  //  Tps //  Polycopié de Robert Valette 

  [] Autres

  [] OUTILS