Brama - Outil de modélisation graphique appliqué aux méthodes formelles B « outil-de-modelisation
(Clics: 356;Site ajouté: Jul 5, 2015, outil-de-modelisation)
Brama est un outil d'animation graphique de modèle formel B. Il représente les modèles, vérifie qu'ils représentent ce que vous
brama modélisation graphique modelisation graphique methodes formelles méthodes formelles méthode b methode b langage formel modèle modèles
brama.fr