Top /
Computers /
Computer_Science /
Research_Institutes /
 |
LSV, Cachan
The Laboratoire Spécification et Vérification is the Computer Science laboratory of the École Normale Supérieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification.
http://www.lsv.ens-cachan.fr/index-en.php
Ens-cachan.fr ~
Site Info
Whois
Trace Route
RBL Check
|
 |
INRIA
French National Institute for Research in Computer Science and Control. Research areas include parallel and distributed computing, software safety and reliability, multimedia, and analysis, simulation, control and optimization of systems.
http://www.inria.fr/index.en.html
Inria.fr ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|