LSV

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 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

  • Portail de l’informatique Portail de l’informatique
Ce document provient de « Laboratoire Sp%C3%A9cification et V%C3%A9rification ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article LSV de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • LSV — may refer to:* Laboratoire Spécification et Vérification in Cachan, France * Landing Ship Vehicle * League of Social Democrats of Vojvodina * Les Savy Fav * Light Strike Vehicle, a small military vehicle manufactured by Chenowth * Low Speed… …   Wikipedia

  • LSV — ist die Abkürzung für Landwirtschaftliche Sozialversicherung Landesschülervertretung Landessportverband Baden Württemberg Lärmschutzverordnung Lastschriftverfahren, siehe Lastschrift Landsportverein Liechtensteinischer Skiverband Luftsportverein… …   Deutsch Wikipedia

  • 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 Pütnitz — Voller Name Luftwaffensportverein Pütnitz Gegründet 1936 Klubfarben Rot Weiß Stadion Damgarten Stadion Greifs …   Deutsch Wikipedia

  • LSV Rechlin — Voller Name Luftwaffen SV Rechlin Gegründet 1940 Klubfarben Weiß Blau Stadion …   Deutsch Wikipedia

  • LSV Neubrandenburg — Voller Name Luftwaffen SV Neubrandenburg Gegründet 1939 Klubfarben Blau Weiß Stadion …   Deutsch Wikipedia

  • LSV Parow — Voller Name Luftwaffen SV Parow Gegründet 1936 Klubfarben Blau Weiß Stadion Fliegerhorstsportplatz …   Deutsch Wikipedia

  • LSV Stettin — Voller Name Luftwaffensportverein Stettin Gegründet 1939 Klubfarben Gelb Blau …   Deutsch Wikipedia

  • LSV Arado Warnemünde — LSV Arado Voller Name Luftwaffen SV Arado Warnemünde Gegründet 1924 …   Deutsch Wikipedia

  • LSV Boelcke Krakau — Voller Name Luftwaffensportverein Boelcke Krakau Gegründet 1940 Klubfarben …   Deutsch Wikipedia

Share the article and excerpts

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