Laboratoire Spécification et Vérification

Laboratoire Spécification et Vérification
Logo du LSV

Le Laboratoire Spécification et Vérification (LSV) est le laboratoire de recherche en informatique de l'ENS Cachan.

Il a été créé en octobre 1996 et est associé au Centre national de la recherche scientifique depuis janvier 1997.

Il compte aujourd'hui dix-neuf membres permanents, environ autant de doctorants, ainsi que plusieurs membres associés.


Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Laboratoire Spécification et Vérification de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Laboratoire d'Informatique Algorithmique: Fondements et Applications — Informations Type Unité mixte de recherche Localisation Ville Paris Pays France …   Wikipédia en Français

  • LSV — Laboratoire Spécification et Vérification Logo du LSV Le Laboratoire Spécification et Vérification (LSV) est le laboratoire de recherche en informatique de l ENS Cachan. Il a été créé en octobre 1996 et est associé au Centre National de la… …   Wikipédia en Français

  • Lsv — Laboratoire Spécification et Vérification Logo du LSV Le Laboratoire Spécification et Vérification (LSV) est le laboratoire de recherche en informatique de l ENS Cachan. Il a été créé en octobre 1996 et est associé au Centre National de la… …   Wikipédia en Français

  • ENSET — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

  • ENS Cachan — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

  • ENS de Cachan — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

  • Ecole normale superieure de Cachan — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

  • Ens cachan — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

  • Normale Sup' Cachan — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

  • Normale sup' cachan — École normale supérieure de Cachan Pour les articles homonymes, voir Cachan (homonymie). École Normale Supérieure de Cachan …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”