Le projet RODIN (développement d’une plateforme ouverte pour la conception de systèmes tolérants aux fautes) a débuté. Ce projet de […]

B4free, l’environnement de développement de modèles B, est mis à disposition de la communauté scientifique : B4Free.com