Langages et Atelier Intégré pour le Développement de Composants Embarqués Sûrs Ce projet est une ACI "Sécurité & Informatique"

Au menu Accueil / Home Participants Liens / Links Réunions Paris, ma. 07 Grenoble, ju. 06 Grenoble, sep. 05 Paris, mai 05 Grenoble, fév. 05 Paris, oct. 04 Documents Rapport à mi-parcours (html) (pdf) Poster présenté aux journées PaRI-STIC, nov. 2006 (format a4) (format a1) Publications

... 2006 1 http://www.lri.fr/~pouzet/lucid-synchrone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... Loft/C2 http://www-sop.inria.fr/mimosa/rp/CellularAutomata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...REACTIVEML 3 Le langage est accessible à l'adresse http://www-spi.lip6.fr/~mandel/rml. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... (NAB 4 http://nab.epfl.ch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .