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

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

  [] Algorithmique Distribuée :  Support de Cours 

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

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

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

  [] Autres

  [] OUTILS