Accueil l L'Outil BramaTélécharger l Démos en ligne l Documentation l LiensContact  


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"

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Newsletter

Adresse email :   Inscription   Désinscription

Par respect de la loi du 06-01-78 vous gardez un droit d'accès et de rectification aux données vous concernant.