Accueil l L'Outil Brama l Télécharger
l Démos en ligne l Documentation l Liens l Contact
Brama, Outil d'animation graphique de modèle B.
Présentation de l'Outil Brama
Son objectif : mettre en scène vos modèles développés à partir du langage B.
Motivations : représenter les modèles, vérifier qu'ils représentent ce que vous "avez en tête"