Brama - Outil de modélisation graphique appliqué aux méthodes formelles B « methodes-formelles
(Clics: 356;Site ajouté: Jul 5, 2015, methodes-formelles)
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