Modèles Temporels

 Support de Cours 

 Tps  Collaboration  P.O Ribet 

  Model-Checking

 Support de Cours 

 Tps 

  Algorithmique Distribuée

  Vérification de Comportement

 Tps 

  Modélisation de Systèmes Communicants

( > 2004)  Support de Cours   TPs 

  Réseaux de Petri

 Polycopié de Robert Valette 

 Transparents Support de Cours 

 Tps  collaboration avec P.O Ribet, D Le Botlan  

Anciens Cours

  Algorithmique et Programmation

  3GII

Part I - ADA: Types, Sous-Programmes, Pointeurs, Exceptions  ps 

Part II - Récursivité, Paquetages, Généricité  ps 

Part III - Structures de données et algorithmes ps 

Intranet ``pédagogique'' Algo-Prog / Génie Log 3GII  lien 

  Structures de Données Avancées

Arbres et Graphes  ps 

  Programmation Orientée Objet / EIFFEL