Specificații și verificări de laborator

Laborator de specificații și verificări

Logotip LSV. Istorie

fundație	1997

Cadru

Codificat	UMR 8643
Tip	Institut de cercetare , unitate comună de cercetare
Domeniu de activitate	Informatică
Scaun	61, avenue du Président-Wilson
Țară	Franţa
Informații de contact	48 ° 47 ′ 31 ″ N, 2 ° 19 ′ 55 ″ E

Organizare

Organizațiile părinți	École normale supérieure Paris-Saclay Inria Institute of Information and Interaction Sciences
Afiliere	CNRS și ENS Paris-Saclay
Site-ul web	www.lsv.ens-cachan.fr

Locație pe harta Franței

Locație pe harta Île-de-France

Laboratorul de specificații și verificare (LSV) este computerul de laborator de cercetare al ENS Paris-Saclay .

A fost creat în 1997 și a fost asociat cu Centrul Național de Cercetare Științifică de atunciianuarie 1997.

Astăzi are Nouăsprezece membri permanenți, aproximativ la fel de mulți studenți la doctorat, precum și mai mulți membri asociați.

linkuri externe