Contact
RODIN

Le projet Rodin travaille au développement d’une plateforme ouverte pour la conception de systèmes tolérants aux fautes.
Ce projet de 3 ans a pour objectif de développer le futur environnement de spécification système avec B.

TÉLÉCHARGEMENTS & DOCUMENTATION

Copy link
Powered by Social Snap