Précédent : Organisation de colloques et de Remonter : Diffusion des résultats Suivant : Autre
Précédent : Organisation de colloques et de Remonter
: Diffusion des résultats Suivant :
Autre
La version v5 d'ESTEREL a été mise dans le domaine public, en beta-release puis en première version officielle. Des informations sont disponibles à l'URL http://www.inria.fr/meije/esterel/ ou par e-mail à esterel-request@cma.cma.fr.
La version 1 des outils de vérification FC2TOOLS et de l'environnement dédiée aux programmes ESTEREL a également été mise dans le domaine public. Des informations sont disponibles à l'URL http://cma.cma.fr/Verification/ ou par e-mail à fc2team@cma.cma.fr.
Le langage RC est disponible en domain public à l'URL http://www.inria.fr/meije/rc/rc-project.html, ainsi que divers formalismes associés tels que décrits en section 3.3.