Laboratoire spécification et vérification

Le Laboratoire spécification et vérification (LSV) était le laboratoire de recherche en informatique de l'ENS Paris-Saclay. Au 1^er janvier 2021, il a fusionné avec une partie du Laboratoire de recherche en informatique pour devenir le Laboratoire Méthodes Formelles.

Le LSV est créé en 1997[1] et il est associé au Centre national de la recherche scientifique depuis janvier 1997.

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

Liens externes

Site officiel
Ressources relatives à la recherche :
- Centre national de la recherche scientifique
- ScanR
Notices d'autorité :
- VIAF
- ISNI
- IdRef
- LCCN
- WorldCat
(fr) Site officiel
(fr) Site officiel (format court)

Notes et références

.

Portail de l’informatique
Portail des grandes écoles

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

[1] .