 http://www.avanticorp.com/support/presentation |
http://www.cadence.com/company/ |
 http://www.cnrs.fr |
 http://www.wi.leidenuniv.nl/home/beatcs/start.html |
http://www.edf.fr/htm/en |
 http://www.ens-cachan.fr |
 http://www.esterel-technologies.com |
http://www.francetelecom.com |
 http://www.inria.fr |
http://www.intel.com |
 http://www.lsv.ens-cachan.fr |
 Microsoft Research |
http://www.motorola.com/ |
 http://www.prover.com/ |
http://www.ti.com |
http://www.paris-france.org |
 http://www.trusted-logic.fr |
http://www.lucent.com |