Collaborations - Laboratoire de Recherche en Informatique

Coopérations avec Équipe de Logique Mathématique Université Paris Diderot Paris 7

(depuis Janv. 1980)

Travaux sur la calculabiliré, la complexité, et la vérification approchée

Activités de recherche                                                    > Publications
  ° Model-Checking
  ° Algorithmes probabilistes
  ° Algorithmes approchés
  ° Complexité

Equipes :
  ° Algorithmique et Complexité
  ° Parallélisme
  ° Test Formel et Exploration de Systèmes

Contact :


Pour en savoir plus :