ANR-10-SEGI-017

La Certification Compositionnelle des Logiciels Embarqués CritiqueS et Sûrs

Accueil Projet CERCLES Partenaires Actualité Contact

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cercles:actualite [2015/09/29 17:27]
emmanuel
cercles:actualite [2015/09/29 17:31] (current)
emmanuel
Line 20: Line 20:
  
  
-  * Traducteur Scade2B : [[http://www.algo-prog.info/cercles/scade2b.tgz | scade2B.tgz]]+  * Traducteur Scade2B : [[http://www.algo-prog.info/cercles/scade2b.tgz | scade2b.tgz]]
        * Une machine virtuelle pour VirtualBox est disponible: [[http://www.algo-prog.info/cercles/cercles.box|cercles.box]].        * Une machine virtuelle pour VirtualBox est disponible: [[http://www.algo-prog.info/cercles/cercles.box|cercles.box]].
        * Elle est engendrée par un script Vagrant disponible [[https://github.com/cercles/vm/|ici]] (pour mettre à jour changer 'version:' dans playbook.yml).        * Elle est engendrée par un script Vagrant disponible [[https://github.com/cercles/vm/|ici]] (pour mettre à jour changer 'version:' dans playbook.yml).
cercles/actualite.txt · Last modified: 2015/09/29 17:31 by emmanuel
Cette page utilise JavaScript. Si ce texte est visible, c'est que JavaScript est indisponible. Certains contenus ne vous sont alors pas accessibles.
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki