RODIN : un projet de 3 ans

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 3 ans a pour objectif de développer le nouvel environnement de spécification et de développement B. Les partenaires industriels sont: Nokia (Finlande), VT Engine Control (UK) et Praxis (UK). Les partenaires académiques sont: universités de […]

B4Free

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